Daniel P. Friedman

Available identifiers

zbMath Open friedman.daniel-pMaRDI QIDQ1101432

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5112629	2020-06-02	Paper
Recycling continuations	2017-08-21	Paper
Trampolined style	2016-09-01	Paper
Enriching the lambda calculus with contexts: toward a theory of incremental program construction	2016-09-01	Paper
Evolutionary games in natural, social, and virtual worlds	2016-05-31	Paper
Backtracking, interleaving, and terminating monad transformers	2015-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q3651734	2009-12-11	Paper
α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic	2009-01-22	Paper
Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)	2008-04-11	Paper
Improving the lazy Krivine machine	2007-12-17	Paper
CPS in little pieces: composing partial continuations	2003-09-04	Paper
Essentials of programming languages.	2001-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q4038663	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4024007	1993-01-23	Paper
A syntactic theory of sequential state	1989-01-01	Paper
A syntactic theory of sequential control	1987-01-01	Paper
Embedding continuations in procedural objects	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4723273	1987-01-01	Paper
Obtaining coroutines with continuations	1986-01-01	Paper
A closer look at export and import statements	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3750108	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3339256	1984-01-01	Paper
CONCUR: A language for continuous, concurrent processes	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4187295	1979-01-01	Paper
Functional combination	1978-01-01	Paper
A note on conditional expressions	1978-01-01	Paper
Aspects of Applicative Programming for Parallel Processing	1978-01-01	Paper
Unbounded computational structures	1978-01-01	Paper
Compiling lambda-expressions using continuations and factorizations	1978-01-01	Paper
Hendrix's model for simultaneous actions and continuous processes: an introduction and implementation	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3911367	1976-01-01	Paper
Output driven interpretation of recursive programs, or writing creates and destroys data structures	1976-01-01	Paper
Boolean-valued loops	1975-01-01	Paper
A language extension for graph processing and its formal semantics	1971-01-01	Paper

Research outcomes over time

This page was built for person: Daniel P. Friedman