| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mitchell Wand, Daniel P. Friedman |
Programming languages: fundamental concepts for expanding and disciplining the mind.  |
SIGPLAN Notices  |
2008 |
DBLP DOI BibTeX RDF |
curricula |
| 1 | Daniel P. Friedman, Mitchell Wand |
Essentials of programming languages (3. ed.). |
|
2008 |
RDF |
|
| 1 | Joseph P. Near, William E. Byrd, Daniel P. Friedman |
alpha-leanTAP: A Declarative Theorem Prover for First-Order Classical Logic. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan |
Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl). |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel P. Friedman, Abdulaziz Ghuloum, Jeremy G. Siek, Onnie Lynn Winebarger |
Improving the lazy Krivine machine. |
Higher-Order and Symbolic Computation |
2007 |
DBLP DOI BibTeX RDF |
Call by need, Lambda calculus, Lazy evaluation, Abstract machine |
| 1 | Daniel P. Friedman, William E. Byrd, Oleg Kiselyov |
The reasoned schemer. |
|
2005 |
RDF |
|
| 1 | Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry |
Backtracking, interleaving, and terminating monad transformers: (functional pearl). |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
control delimiters, logic programming, Prolog, streams, Haskell, continuations |
| 1 | Daniel P. Friedman, Amr Sabry |
CPS in little pieces: composing partial continuations. |
J. Funct. Program. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel P. Friedman, Mitchell Wand, Christopher T. Haynes |
Essentials of programming languages (2. ed.). |
|
2001 |
RDF |
|
| 1 | Steven E. Ganz, Daniel P. Friedman, Mitchell Wand |
Trampolined Style. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Harold Abelson, R. Kent Dybvig, Christopher T. Haynes, Guillermo Juan Rozas, N. I. Adams IV, Daniel P. Friedman, Eugene E. Kohlbecker, Guy L. Steele Jr., David H. Bartley, Robert H. Halstead Jr., Don Oxley, Gerald J. Sussman, G. Brooks, Chris Hanson, Kent M. Pitman, Mitchell Wand |
Revised Report on the Algorithmic Language Scheme. |
Higher-Order and Symbolic Computation |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Sobel, Daniel P. Friedman |
Recycling Continuations. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
CSP |
| 1 | Shriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman |
Synthesizing Object-Oriented and Functional Design to Promote Re-Use. |
ECOOP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanley Jefferson, Daniel P. Friedman |
A Simple Reflective Interpreter. |
Lisp and Symbolic Computation |
1996 |
DBLP BibTeX RDF |
|
| 1 | Matthias Felleisen, Daniel P. Friedman |
The little MLer. |
|
1996 |
RDF |
|
| 1 | Daniel P. Friedman, Matthias Felleisen |
The little schemer (4. ed.). |
|
1996 |
RDF |
|
| 1 | Daniel P. Friedman, Matthias Felleisen |
The seasoned schemer. |
|
1996 |
RDF |
|
| 1 | Matthias Felleisen, Daniel P. Friedman |
A little Java, a few patterns. |
|
1996 |
RDF |
|
| 1 | Shinn-Der Lee, Daniel P. Friedman |
Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan G. Rossie Jr., Daniel P. Friedman, Mitchell Wand |
Modeling Subobject-based Inheritance. |
ECOOP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Hilsdale, J. Michael Ashley, R. Kent Dybvig, Daniel P. Friedman |
Compiler Construction Using Scheme. |
FPLE |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan G. Rossie Jr., Daniel P. Friedman |
An Algebraic Semantics of Subobjects. |
OOPSLA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Shinn-Der Lee, Daniel P. Friedman |
Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
SCHEME |
| 1 | Arthur M. Riehl, Daniel P. Friedman, Brian Harvey, Simon M. Kaplan, Richard M. Salter, George Springer |
Using Scheme in the Introductory Computer Science Curriculum (abstract). |
ACM Conference on Computer Science |
1993 |
DBLP DOI BibTeX RDF |
SCHEME |
| 1 | Rhys Price Jones, Doug Cooper, Daniel P. Friedman, Richard C. Holt, Peter Robinson |
Issues in the choice of programming language for CS 1 (abstract). |
SIGCSE |
1993 |
DBLP DOI BibTeX RDF |
ML, SCHEME |
| 1 | Arthur M. Riehl, Daniel P. Friedman, Brian Harvey, Simon M. Kaplan, Richard M. Salter, George Springer |
Using SCHEME in the introductory computer science curriculum (abstract). |
SIGCSE |
1993 |
DBLP DOI BibTeX RDF |
SCHEME |
| 1 | Shinn-Der Lee, Daniel P. Friedman |
First-Class Extents. |
Lisp and Symbolic Computation |
1992 |
DBLP BibTeX RDF |
|
| 1 | Daniel P. Friedman, Mitchell Wand, Christopher T. Haynes |
Essentials of programming languages. |
|
1992 |
RDF |
|
| 1 | Eric T. Freeman, Daniel P. Friedman |
Characterizing the Paralation Model using Dynamic Assignment. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | John V. Franco, Daniel P. Friedman, Steven D. Johnson |
Multi-Way Streams in Scheme. |
Comput. Lang. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | John V. Franco, Daniel P. Friedman |
Towards a Facility for Lexically Scoped, Dynamic Mutual Recursion in Scheme. |
Comput. Lang. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanley Jefferson, Shinn-Der Lee, Daniel P. Friedman |
A Syntactic Theory of Transparent Parameterization. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Felleisen, Daniel P. Friedman |
A Syntactic Theory of Sequential State. |
Theor. Comput. Sci. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | John V. Franco, Daniel P. Friedman |
Creating Efficient Programs by Exchanging Data for Procedures. |
Comput. Lang. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes |
Expansion-Passing Style: A General Macro Mechanism. |
Lisp and Symbolic Computation |
1988 |
DBLP BibTeX RDF |
|
| 1 | Mitchell Wand, Daniel P. Friedman |
The Mystery of the Tower Revealed: A Nonreflective Description of the Reflective Tower. |
Lisp and Symbolic Computation |
1988 |
DBLP BibTeX RDF |
|
| 1 | Matthias Felleisen, Mitchell Wand, Daniel P. Friedman, Bruce F. Duba |
Abstract Continuations: A Mathematical Semantics for Handling Full Jumps. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Felleisen, Daniel P. Friedman, Eugene E. Kohlbecker, Bruce F. Duba |
A Syntactic Theory of Sequential Control. |
Theor. Comput. Sci. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher T. Haynes, Daniel P. Friedman |
Embedding Continuations in Procedural Objects. |
ACM Trans. Program. Lang. Syst. |
1987 |
DBLP DOI BibTeX RDF |
LISP, SCHEME |
| 1 | Christopher T. Haynes, Daniel P. Friedman |
Abstracting Timed Preemption with Engines. |
Comput. Lang. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Felleisen, Daniel P. Friedman |
A Reduction Semantics for Imperative Higher-Order Languages. |
PARLE |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Felleisen, Daniel P. Friedman |
A Calculus for Assignments in Higher-Order Languages. |
POPL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher T. Haynes, Daniel P. Friedman, Mitchell Wand |
Obtaining Coroutines with Continuations. |
Comput. Lang. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Felleisen, Daniel P. Friedman |
A Closer Look at Export and Import Statements. |
Comput. Lang. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes |
Expansion-Passing Style: Beyond Conventional Macros. |
LISP and Functional Programming |
1986 |
DBLP BibTeX RDF |
|
| 1 | Mitchell Wand, Daniel P. Friedman |
The Mystery of the Tower Revealed: A Non-Reflective Description of the Reflective Tower. |
LISP and Functional Programming |
1986 |
DBLP BibTeX RDF |
|
| 1 | Eugene E. Kohlbecker, Daniel P. Friedman, Matthias Felleisen, Bruce F. Duba |
Hygienic Macro Expansion. |
LISP and Functional Programming |
1986 |
DBLP BibTeX RDF |
|
| 1 | Matthias Felleisen, Daniel P. Friedman, Eugene E. Kohlbecker, Bruce F. Duba |
Reasoning with Continuations |
LICS |
1986 |
DBLP BibTeX RDF |
|
| 1 | Daniel P. Friedman, Christopher T. Haynes |
Constraining Control. |
POPL |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher T. Haynes, Daniel P. Friedman |
Engines Build Process Abstractions. |
LISP and Functional Programming |
1984 |
DBLP BibTeX RDF |
|
| 1 | Christopher T. Haynes, Daniel P. Friedman, Mitchell Wand |
Continuations and Coroutines. |
LISP and Functional Programming |
1984 |
DBLP BibTeX RDF |
|
| 1 | Daniel P. Friedman, Mitchell Wand |
Reification: Reflection without Metaphysics. |
LISP and Functional Programming |
1984 |
DBLP BibTeX RDF |
|
| 1 | Robert E. Filman, Daniel P. Friedman |
Models, languages, and heuristics for distributed computing. |
AFIPS National Computer Conference |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard M. Salter, Terence J. Brennan, Daniel P. Friedman |
Concur: A Language for Continuous, Concurrent Processes. |
Comput. Lang. |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel P. Friedman, David S. Wise |
An Indeterminate Constructor for Applicative Programming. |
POPL |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel P. Friedman, David S. Wise |
Reference Counting Can Manage the Circular Environments of Mutual Recursion. |
Inf. Process. Lett. |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel P. Friedman, David S. Wise |
An Approach to Fair Applicative Multiprogramming. |
Semantics of Concurrent Computation |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel P. Friedman, David S. Wise |
Unbounded Computational Structures. |
Softw., Pract. Exper. |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel P. Friedman, David S. Wise |
Aspects of Applicative Programming for Parallel Processing. |
IEEE Trans. Computers |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel P. Friedman, David S. Wise |
A Note on Conditional Expressions. |
Commun. ACM |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand, Daniel P. Friedman |
Compiling Lambda-Expressions Using Continuations and Factorizations. |
Comput. Lang. |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel P. Friedman, David S. Wise |
Functional Combination. |
Comput. Lang. |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | John D. Lowrance, Daniel P. Friedman |
Hendrix's Model for Simultaneous Actions and Continuous Processes: An Introduction and Implementation. |
International Journal of Man-Machine Studies |
1977 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel P. Friedman, David S. Wise |
Aspects of Applicative Programming for File Systems (Preliminary Version). |
Language Design for Reliable Software |
1977 |
DBLP BibTeX RDF |
|
| 1 | Daniel P. Friedman, David S. Wise |
Output Driven Interpretation of Recursive Programs, or Writing Creates and Destroys Data Structures. |
Inf. Process. Lett. |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel P. Friedman, David S. Wise |
Garbage Collecting a Heap Which Includes a Scatter Table. |
Inf. Process. Lett. |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel P. Friedman, David S. Wise |
CONS Should Not Evaluate its Arguments. |
ICALP |
1976 |
DBLP BibTeX RDF |
|
| 1 | Terrence W. Pratt, Daniel P. Friedman |
A Language Extension for Graph Processing and Its Formal Semantics. |
Commun. ACM |
1971 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")