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
Enriching the lambda calculus with contexts	2016-09-01	Paper
Trampolined style	2016-09-01	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
https://portal.mardi4nfdi.de/entity/Q2736592	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
A closer look at export and import statements	1986-01-01	Paper
Obtaining coroutines with continuations	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
Unbounded computational structures	1978-01-01	Paper
Aspects of Applicative Programming for Parallel Processing	1978-01-01	Paper
Compiling lambda-expressions using continuations and factorizations	1978-01-01	Paper
A note on conditional expressions	1978-01-01	Paper
Hendrix's model for simultaneous actions and continuous processes: an introduction and implementation	1977-01-01	Paper
Output driven interpretation of recursive programs, or writing creates and destroys data structures	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3911367	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Daniel P. Friedman