: A Tiny Functional Language with Logical Features.
Parallelism and Concurrency
T. C. Nicholas Graham
: Temporal Constraint Functional Programming: A Declarative Framework for Concurrency and Interaction.
Hendrik C. R. Lock
: A Systematic Method for Designing Abstract Narrowing Machines.
: Some Algorithms for Fast and Complete Execution of Logic Programs.
Bird-Meertens Formalism (Squiggol)
: More Advice on Proving a Compiler Correct: Improve a Correct Compiler.
: Pers as Types, Inductive Types and Types with Laws.