Treffer: A non-deterministic call-by-need lambda calculus
Titel:
A non-deterministic call-by-need lambda calculus / Arne Kutzner, Manfred Schmidt-Schauß
Beteiligt:
Veröffentlicht in:
International Conference on Functional Programming (3 : 1998 : Baltimore, Md.). Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming (ICFP '98). - New York : ACM Press, 1999. - VIII, 351 S., graph. Darst.. - ISBN 1581130244. - (1999), Seite 324-335
alle Artikel anzeigen
alle Artikel anzeigen
Entstehung:
[1999]
Format:
Sprache:
Englisch
Vorliegende Ausgabe:
Online-Ausg.: [Frankfurt am Main : Univ.-Bibliothek], 2005. - Online-Ressource