Uniqueness Typing Simplified

Cached

Download Links

by Edsko De Vries , Rinus Plasmeijer , David M Abrahamson
Citations:5 - 1 self

Active Bibliography

1318 Monads for functional programming – Philip Wadler - 1995
894 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992
767 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
459 Comprehending Monads – Philip Wadler - 1992
363 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
336 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
314 System Description: Twelf --- A Meta-Logical Framework for Deductive Systems – Frank Pfenning, Carsten Schurmann - 1999
307 Natural semantics – G. Kahn - 1987
298 The Oz Programming Model – Gert Smolka - 1995