Daniel P. Friedman
Orcid: 0000-0001-9992-1675Affiliations:
- Indiana University, Bloomington, USA
According to our database1,
Daniel P. Friedman
authored at least 77 papers
between 1971 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
Proceedings of the Trends in Functional Programming - 24th International Symposium, 2023
2017
Proceedings of the Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, 2017
Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017
2016
Proceedings of the 12th Symposium on Dynamic Languages, 2016
2012
miniKanren, live and untagged: quine generation via relational interpreters (programming pearl).
Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming, 2012
2008
ACM SIGPLAN Notices, 2008
Proceedings of the Logic Programming, 24th International Conference, 2008
Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008
Essentials of programming languages (3. ed.).
MIT Press, ISBN: 978-0-262-06279-4, 2008
2007
2005
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005
The reasoned schemer.
MIT Press, ISBN: 978-0-262-56214-0, 2005
2002
2001
Essentials of programming languages (2. ed.).
MIT Press, ISBN: 978-0-262-06217-6, 2001
1999
Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999
1998
Comput. Sci. Educ., 1998
Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998
Proceedings of the ECOOP'98, 1998
1996
A Simple Reflective Interpreter.
LISP Symb. Comput., 1996
Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction.
Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 1996
A little Java, a few patterns.
MIT Press, ISBN: 978-0-262-56115-0, 1996
The little MLer.
MIT Press, ISBN: 978-0-262-56114-3, 1996
The little schemer (4. ed.).
MIT Press, ISBN: 978-0-262-56099-3, 1996
The seasoned schemer.
MIT Press, ISBN: 978-0-262-56100-6, 1996
1995
Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, 1995
Proceedings of the Functional Programming Languages in Education, 1995
1993
Proceedings of the 24th SIGCSE Technical Symposium on Computer Science Education, 1993
Proceedings of the 24th SIGCSE Technical Symposium on Computer Science Education, 1993
Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993
1992
First-Class Extents.
LISP Symb. Comput., 1992
Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 1992
Essentials of programming languages.
MIT Press, ISBN: 978-0-262-06145-2, 1992
1990
Comput. Lang., 1990
1989
1988
The Mystery of the Tower Revealed: A Nonreflective Description of the Reflective Tower.
LISP Symb. Comput., 1988
Expansion-Passing Style: A General Macro Mechanism.
LISP Symb. Comput., 1988
Proceedings of the 1988 ACM Conference on LISP and Functional Programming, 1988
1987
Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987
Proceedings of the PARLE, 1987
Control operators, the SECD-machine, and the λ-calculus.
Proceedings of the Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts, 1987
1986
Reasoning with Continuations
Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986
The Mystery of the Tower Revealed: A Non-Reflective Description of the Reflective Tower.
Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986
Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986
Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986
1985
Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985
1984
Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984
Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984
Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984
1982
Proceedings of the American Federation of Information Processing Societies: 1982 National Computer Conference, 1982
1980
Proceedings of the Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, 1980
1979
Inf. Process. Lett., 1979
Proceedings of the Semantics of Concurrent Computation, 1979
1978
IEEE Trans. Computers, 1978
Comput. Lang., 1978
1977
Hendrix's Model for Simultaneous Actions and Continuous Processes: An Introduction and Implementation.
Int. J. Man Mach. Stud., 1977
Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), 1977
1976
Output Driven Interpretation of Recursive Programs, or Writing Creates and Destroys Data Structures.
Inf. Process. Lett., 1976
Proceedings of the third ACM Symposium on Symbolic and Algebraic Manipulation, 1976
CONS Should Not Evaluate its Arguments.
Proceedings of the Third International Colloquium on Automata, 1976
Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976
1974
1971
Commun. ACM, 1971