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: Friedman:Daniel_P=
Contributed to:
2008
2008
20051999
1998199819961996
1995
1995
1993
1990
198819871986
1986198519841980
1976Wrote 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.
- ICFP-1999-GanzFW
- 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.
- ESOP-1990-JeffersonLF
- 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.
- LFP-1986-WandF
- 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.
- POPL-1985-FriedmanH
- 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.
- ICALP-1976-FriedmanW
- CONS Should Not Evaluate its Arguments (DPF, DSW), pp. 257–284.