BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Belgium
1 × Denmark
1 × Estonia
1 × France
1 × Germany
1 × Italy
1 × Japan
1 × The Netherlands
1 × United Kingdom
10 × USA
Collaborated with:
M.Wand C.T.Haynes M.Felleisen S.Lee D.S.Wise J.G.R.Jr. B.F.Duba W.E.Byrd R.K.Dybvig O.Kiselyov C.Shan J.Sobel E.E.Kohlbecker J.P.Near S.E.Ganz S.Krishnamurthi S.Jefferson A.Sabry E.Hilsdale J.M.Ashley
Talks about:
continu (4) construct (3) reflect (3) subobject (2) calculus (2) abstract (2) program (2) theori (2) semant (2) expans (2)

Person: Daniel P. Friedman

DBLP DBLP: Friedman:Daniel_P=

Contributed to:

FLOPS 20082008
ICLP 20082008
ICFP 20052005
ICFP 19991999
ECOOP 19981998
ICFP 19981998
ECOOP 19961996
ICFP 19961996
FPLE 19951995
OOPSLA 19951995
POPL 19931993
ESOP 19901990
LFP 19881988
POPL 19871987
LFP 19861986
LICS 19861986
POPL 19851985
LFP 19841984
POPL 19801980
ICALP 19761976

Wrote 24 papers:

FLOPS-2008-KiselyovBFS #declarative
Pure, Declarative, and Constructive Arithmetic Relations (OK, WEB, DPF, CcS), pp. 64–80.
ICLP-2008-NearBF #declarative #first-order #logic #named #proving #theorem proving
αleanTAP: A Declarative Theorem Prover for First-Order Classical Logic (JPN, WEB, DPF), pp. 238–252.
ICFP-2005-KiselyovSFS #backtracking #monad
Backtracking, interleaving, and terminating monad transformers: (OK, CcS, DPF, AS), pp. 192–203.
Trampolined Style (SEG, DPF, MW), pp. 18–27.
ECOOP-1998-KrishnamurthiFF #design #functional #object-oriented
Synthesizing Object-Oriented and Functional Design to Promote Re-Use (SK, MF, DPF), pp. 91–113.
ICFP-1998-SobelF #continuation
Recycling Continuations (JS, DPF), pp. 251–260.
ECOOP-1996-RossieFW #inheritance #modelling
Modeling Subobject-based Inheritance (JGRJ, DPF, MW), pp. 248–274.
ICFP-1996-LeeF #formal method #incremental #towards #λ-calculus
Enriching the λ Calculus with Contexts: Toward a Theory of Incremental Program Construction (SDL, DPF), pp. 239–250.
FPLE-1995-HilsdaleADF #compilation #using
Compiler Construction Using Scheme (EH, JMA, RKD, DPF), pp. 251–267.
OOPSLA-1995-RossieF #algebra #semantics
An Algebraic Semantics of Subobjects (JGRJ, DPF), pp. 187–199.
POPL-1993-LeeF #multi
Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes (SDL, DPF), pp. 479–492.
A Syntactic Theory of Transparent Parameterization (SJ, SDL, DPF), pp. 212–226.
LFP-1988-FelleisenWFD #continuation #semantics
Abstract Continuations: A Mathematical Semantics for Handling Full Jumps (MF, MW, DPF, BFD), pp. 52–62.
POPL-1987-FelleisenF #calculus #higher-order
A Calculus for Assignments in Higher-Order Languages (MF, DPF), pp. 314–325.
LFP-1986-DybvigFH #metaprogramming
Expansion-Passing Style: Beyond Conventional Macros (RKD, DPF, CTH), pp. 143–150.
LFP-1986-KohlbeckerFFD #metaprogramming
Hygienic Macro Expansion (EEK, DPF, MF, BFD), pp. 151–161.
The Mystery of the Tower Revealed: A Non-Reflective Description of the Reflective Tower (MW, DPF), pp. 298–307.
LICS-1986-FelleisenFKD #continuation #reasoning
Reasoning with Continuations (MF, DPF, EEK, BFD), pp. 131–141.
Constraining Control (DPF, CTH), pp. 245–254.
LFP-1984-FriedmanW #named
Reification: Reflection without Metaphysics (DPF, MW), pp. 348–355.
LFP-1984-HaynesF #abstraction #process
Engines Build Process Abstractions (CTH, DPF), pp. 18–24.
LFP-1984-HaynesFW #continuation
Continuations and Coroutines (CTH, DPF, MW), pp. 293–298.
POPL-1980-FriedmanW #programming
An Indeterminate Constructor for Applicative Programming (DPF, DSW), pp. 245–250.
CONS Should Not Evaluate its Arguments (DPF, DSW), pp. 257–284.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.