The Prolog to Mercury transition guide Version rotdThomas Conway Zoltan Somogyi Fergus Henderson

First Page		Document Content
Date: 2018-10-05 08:31:35 Software engineering Computer programming Computing Prolog Programming languages Mercury Logic programming Tail call Predicate Prolog syntax and semantics B-Prolog		The Prolog to Mercury transition guide Version rotdThomas Conway Zoltan Somogyi Fergus Henderson Add to Reading List Source URL: mercurylang.org Download Document from Source Website File Size: 119,55 KB Share Document on Facebook

	Foundational Extensible Corecursion A Proof Assistant Perspective Jasmin Christian Blanchette Andrei Popescu DocID: 1qD8k - View Document
	02157 Functional Programming - Lecture 8: Tail recursive erativeunctions DocID: 1qjoG - View Document
	waside-optimized-code.dvi DocID: 1qdOK - View Document
	Representing Control in the Presence of First-Class Continuations ∗ Robert Hieb, R. Kent Dybvig, Carl Bruggeman Indiana University DocID: 1q8yk - View Document
	Computing Fundamentals Salvatore Filippone 2012–2013 DocID: 1q0RA - View Document