18 Publications
2007
Improving the lazy Krivine machine
Friedman, Daniel⋅Friedman, Daniel⋅Friedman, D.P.⋅Ghuloum, Abdulaziz⋅Ghuloum, Abdulaziz⋅Ghuloum, A.⋅Siek, Jeremy⋅Siek, J.G.⋅Siek, Jeremy⋅Winebarger, Onnie⋅Winebarger, O.L. and Winebarger, Onnie
Higher-Order and Symbolic Computation, vol. 20, (no. 3), pp. 293, 20070900. | Journal Article
2002
CPS in little pieces: composing partial continuations
Friedman, Daniel P and Sabry, Amr
Journal of Functional Programming, vol. 12, (no. 6), pp. 617-622, Nov 2002. | Journal Article
1999
Recycling continuations
Sobel, Jonathan and Friedman, Daniel P
ACM SIGPLAN Notices, vol. 34, (no. 1), pp. 251-260, 1999. | Journal Article
 
Trampolined style
Ganz, Steven E⋅Friedman, Daniel P and Wand, Mitchell
International Conference on Functional Programming: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming; 27-29 Sept. 1999. 1999. | Conference Proceeding
 
Trampolined style
Ganz, Steven E⋅Friedman, Daniel P and Wand, Mitchell
PROC ACM SIGPLAN INT CONF FUNCT PROGRAM ICFP, pp. 18-27, 1999. | Journal Article
 
Trampolined style
Ganz, Steven E⋅Friedman, Daniel P and Wand, Mitchell
ACM SIGPLAN Notices, vol. 34, (no. 9), pp. 18-27, 1999. | Journal Article
1998
Recycling continuations
Sobel, Jonathan and Friedman, Daniel P
International Conference on Functional Programming: Proceedings of the third ACM SIGPLAN international conference on Functional programming; 26-29 Sept. 1998. 1998. | Conference Proceeding
1996
Enriching the lambda calculus with contexts
Lee, Shinn-Der and Friedman, Daniel
ACM SIGPLAN Notices, vol. 31, (no. 6), pp. 250, 06-15-1996. | Journal Article
1995
An algebraic semantics of subobjects
Rossie Jr, Jonathan G and Friedman, Daniel P
Conference on Object Oriented Programming Systems Languages and Applications: Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications : Austin, Texas, United States; 15-19 Oct. 1995. 1995. | Conference Proceeding
 
An algebraic semantics of subobjects
Rossie Jr, Jonathan G and Friedman, Daniel P
ACM SIGPLAN Notices, vol. 30, (no. 10), pp. 187-199, 1995. | Journal Article
1987
Embedding continuations in procedural objects
Haynes, Christopher⋅Haynes, Christopher T⋅Friedman, D. P and Friedman, Daniel
ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 9, (no. 4), pp. 598, 10-01-1987. | Journal Article
n.d.no date or unknown
Felleisen Matthias;Friedman Daniel P. Syntactic theory of sequential state. Theoretical Computer Science. 69(3): 243-287, 1989
Friedman, Daniel P
 
Franco John;Friedman Daniel P;Johnson Steven D. Multi-way streams in Scheme. Computer Languages. 15(2): 109-125, 1990
Friedman, Daniel P
 
Franco John;Friedman Daniel P. Towards a facility for lexically scoped, Dynamic Mutual Recursion in Scheme. Computer Languages. 15(1): 55-64, 1990
Friedman, Daniel P
 
Jefferson Stanley;Friedman Daniel P. Simple reflective interpreter. LISP and Symbolic Computation. 9(2-3): 181-202, 1996
Friedman, Daniel P
 
Lee Shinn-Der;Friedman Daniel P. Enriching the lambda calculus with contexts: Toward a theory of incremental program construction. Programming, ICFP. 239-250, 24 May 1996
Friedman, Daniel P
 
Lee Shinn-Der;Friedman Daniel P. Quasi-static scoping: Sharing variable bindings across multiple lexical scopes. Languages. 479-492, 10 Jan 1993
Friedman, Daniel P
 
Rossie Jonathan G;Friedman Daniel P. Algebraic semantics of subobjects. Languages, and Applications, OOPSLA. 187-197, 17 Oct 1995
Friedman, Daniel P