Haskell Is Not Not ML

We present a typed calculus IL (“intermediate language”) which supports the embedding of ML-like (strict, eager) and Haskell-like (non-strict, lazy) languages, without favoring either. IL’s type system includes negation (continuations), but not implication (function arrow). Within IL we find that li...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Rudiak-Gould, Ben, Mycroft, Alan, Jones, Simon Peyton
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Abstract Machine Applied sciences Computer science control theory systems Double Negation Exact sciences and technology Instruction Sequence Intermediate Language Operational Semantic Programming languages Software
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!