Daniel P. Friedman

Proceedings of the Trends in Functional Programming - 24th International Symposium, 2023

2017

A Framework for Extending microKanren with Constraints.

[BibT_eX]

[DOI]

Jason Hemann

Proceedings of the Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, 2017

A Simple Complete Search for Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017

2016

A small embedding of logic programming with a simple complete search.

[BibT_eX]

[DOI]

Proceedings of the 12th Symposium on Dynamic Languages, 2016

2012

miniKanren, live and untagged: quine generation via relational interpreters (programming pearl).

[BibT_eX]

[DOI]

William E. Byrd

Eric Holk

Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming, 2012

2008

Programming languages: fundamental concepts for expanding and disciplining the mind.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 2008

alpha-leanTAP: A Declarative Theorem Prover for First-Order Classical Logic.

[BibT_eX]

[DOI]

Joseph P. Near

William E. Byrd

Proceedings of the Logic Programming, 24th International Conference, 2008

Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl).

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008

Essentials of programming languages (3. ed.).

[BibT_eX]

MIT Press, ISBN: 978-0-262-06279-4, 2008

2007

Improving the lazy Krivine machine.

[BibT_eX]

[DOI]

Abdulaziz Ghuloum

Jeremy G. Siek

Onnie Lynn Winebarger

High. Order Symb. Comput., 2007

2005

Backtracking, interleaving, and terminating monad transformers: (functional pearl).

[BibT_eX]

[DOI]

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

The reasoned schemer.

[BibT_eX]

William E. Byrd

Oleg Kiselyov

MIT Press, ISBN: 978-0-262-56214-0, 2005

2002

CPS in little pieces: composing partial continuations.

[BibT_eX]

[DOI]

Amr Sabry

J. Funct. Program., 2002

2001

Essentials of programming languages (2. ed.).

[BibT_eX]

MIT Press, ISBN: 978-0-262-06217-6, 2001

1999

Trampolined Style.

[BibT_eX]

[DOI]

Steven E. Ganz

Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

1998

Revised Report on the Algorithmic Language Scheme.

[BibT_eX]

[DOI]

Harold Abelson

R. Kent Dybvig

Robert H. Halstead Jr.

High. Order Symb. Comput., 1998

Teaching Nondeterministic and Universal Automata Using SCHEME.

[BibT_eX]

[DOI]

Christian Wagenknecht

Comput. Sci. Educ., 1998

Recycling Continuations.

[BibT_eX]

[DOI]

Jonathan Sobel

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

Synthesizing Object-Oriented and Functional Design to Promote Re-Use.

[BibT_eX]

[DOI]

Shriram Krishnamurthi

Proceedings of the ECOOP'98, 1998

1996

A Simple Reflective Interpreter.

[BibT_eX]

Stanley Jefferson

LISP Symb. Comput., 1996

Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction.

[BibT_eX]

[DOI]

Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 1996

Modeling Subobject-based Inheritance.

[BibT_eX]

[DOI]

Jonathan G. Rossie Jr.

Proceedings of the ECOOP'96, 1996

A little Java, a few patterns.

[BibT_eX]

MIT Press, ISBN: 978-0-262-56115-0, 1996

The little MLer.

[BibT_eX]

MIT Press, ISBN: 978-0-262-56114-3, 1996

The little schemer (4. ed.).

[BibT_eX]

MIT Press, ISBN: 978-0-262-56099-3, 1996

The seasoned schemer.

[BibT_eX]

MIT Press, ISBN: 978-0-262-56100-6, 1996

1995

An Algebraic Semantics of Subobjects.

[BibT_eX]

[DOI]

Jonathan G. Rossie Jr.

Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, 1995

Compiler Construction Using Scheme.

[BibT_eX]

[DOI]

Proceedings of the Functional Programming Languages in Education, 1995

1993

Issues in the choice of programming language for CS 1 (abstract).

[BibT_eX]

[DOI]

Proceedings of the 24th SIGCSE Technical Symposium on Computer Science Education, 1993

Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

Using Scheme in the Introductory Computer Science Curriculum (abstract).

[BibT_eX]

[DOI]

Proceedings of the ACM 21th Conference on Computer Science, 1993

1992

First-Class Extents.

[BibT_eX]

LISP Symb. Comput., 1992

Characterizing the Paralation Model using Dynamic Assignment.

[BibT_eX]

[DOI]

Eric T. Freeman

Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 1992

Essentials of programming languages.

[BibT_eX]

MIT Press, ISBN: 978-0-262-06145-2, 1992

1990

Multi-Way Streams in Scheme.

[BibT_eX]

[DOI]

John V. Franco

Steven D. Johnson

Comput. Lang., 1990

Towards a Facility for Lexically Scoped, Dynamic Mutual Recursion in Scheme.

[BibT_eX]

[DOI]

John V. Franco

Comput. Lang., 1990

A Syntactic Theory of Transparent Parameterization.

[BibT_eX]

[DOI]

Stanley Jefferson

Proceedings of the ESOP'90, 1990

1989

A Syntactic Theory of Sequential State.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1989

Creating Efficient Programs by Exchanging Data for Procedures.

[BibT_eX]

[DOI]

John V. Franco

Comput. Lang., 1989

1988

The Mystery of the Tower Revealed: A Nonreflective Description of the Reflective Tower.

[BibT_eX]

LISP Symb. Comput., 1988

Expansion-Passing Style: A General Macro Mechanism.

[BibT_eX]

R. Kent Dybvig

LISP Symb. Comput., 1988

Abstract Continuations: A Mathematical Semantics for Handling Full Jumps.

[BibT_eX]

[DOI]

Proceedings of the 1988 ACM Conference on LISP and Functional Programming, 1988

1987

Embedding Continuations in Procedural Objects.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1987

A Syntactic Theory of Sequential Control.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1987

Abstracting Timed Preemption with Engines.

[BibT_eX]

[DOI]

Comput. Lang., 1987

A Calculus for Assignments in Higher-Order Languages.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987

A Reduction Semantics for Imperative Higher-Order Languages.

[BibT_eX]

[DOI]

Proceedings of the PARLE, 1987

Control operators, the SECD-machine, and the λ-calculus.

[BibT_eX]

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

Obtaining Coroutines with Continuations.

[BibT_eX]

[DOI]

Comput. Lang., 1986

A Closer Look at Export and Import Statements.

[BibT_eX]

[DOI]

Comput. Lang., 1986

Reasoning with Continuations

[BibT_eX]

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.

[BibT_eX]

[DOI]

Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986

Hygienic Macro Expansion.

[BibT_eX]

[DOI]

Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986

Expansion-Passing Style: Beyond Conventional Macros.

[BibT_eX]

[DOI]

R. Kent Dybvig

Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986

1985

Constraining Control.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985

1984

Continuations and Coroutines.

[BibT_eX]

[DOI]

Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984

Engines Build Process Abstractions.

[BibT_eX]

[DOI]

Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984

Reification: Reflection without Metaphysics.

[BibT_eX]

[DOI]

Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984

1982

Models, languages, and heuristics for distributed computing.

[BibT_eX]

[DOI]

Robert E. Filman

Proceedings of the American Federation of Information Processing Societies: 1982 National Computer Conference, 1982

1980

Concur: A Language for Continuous, Concurrent Processes.

[BibT_eX]

[DOI]

Richard M. Salter

Terence J. Brennan

Comput. Lang., 1980

An Indeterminate Constructor for Applicative Programming.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, 1980

1979

Reference Counting Can Manage the Circular Environments of Mutual Recursion.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1979

An Approach to Fair Applicative Multiprogramming.

[BibT_eX]

[DOI]

Proceedings of the Semantics of Concurrent Computation, 1979

1978

Aspects of Applicative Programming for Parallel Processing.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1978

Unbounded Computational Structures.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1978

Compiling Lambda-Expressions Using Continuations and Factorizations.

[BibT_eX]

[DOI]

Comput. Lang., 1978

Functional Combination.

[BibT_eX]

[DOI]

Comput. Lang., 1978

A Note on Conditional Expressions.

[BibT_eX]

[DOI]

Commun. ACM, 1978

1977

Hendrix's Model for Simultaneous Actions and Continuous Processes: An Introduction and Implementation.

[BibT_eX]

[DOI]

John D. Lowrance

Int. J. Man Mach. Stud., 1977

Aspects of Applicative Programming for File Systems (Preliminary Version).

[BibT_eX]

[DOI]

Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), 1977

1976

Garbage Collecting a Heap Which Includes a Scatter Table.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1976

Output Driven Interpretation of Recursive Programs, or Writing Creates and Destroys Data Structures.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1976

Recursive programming through table look-up.

[BibT_eX]

[DOI]

Proceedings of the third ACM Symposium on Symbolic and Algebraic Manipulation, 1976

CONS Should Not Evaluate its Arguments.

[BibT_eX]

Proceedings of the Third International Colloquium on Automata, 1976

General interest (Paper Session).

[BibT_eX]

[DOI]

Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

1974

A case for while-until.

[BibT_eX]

[DOI]

Stuart C. Shapiro

ACM SIGPLAN Notices, 1974

1971

A Language Extension for Graph Processing and Its Formal Semantics.

[BibT_eX]

[DOI]

Terrence W. Pratt