✦ LIBER ✦

The semantics of lazy functional languages

✍ Scribed by Mark B. Josephs

Publisher: Elsevier Science
Year: 1989
Tongue: English
Weight: 671 KB
Volume: 68
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(89)90122-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A new programming technique for lazy fun

A new programming technique for lazy functional languages

✍ F.A. van Gilst; P.M. van den Broek 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 995 KB

Semantic Translation of Programming Lang

Semantic Translation of Programming Languages

✍ Andrzej Skowron 📂 Article 📅 1971 🏛 John Wiley and Sons 🌐 English ⚖ 312 KB

Defining the semantics of languages for

Defining the semantics of languages for programmable controllers with synchronous processes

✍ L. Marce; P. Le Parc 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 441 KB

The inapplicability of the dictionary— E

The inapplicability of the dictionary— Encyclopedia distinction to the semantics of natural languages

✍ R.D. Gumb 📂 Article 📅 1971 🏛 Elsevier Science ⚖ 825 KB

An axiomatic semantics for the synchrono

An axiomatic semantics for the synchronous language Gentzen

✍ Simone Tini 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 343 KB

We propose an axiomatic semantics for the synchronous language Gentzen, which is an instantiation of the paradigm Timed Concurrent Constraint Programming proposed by Saraswat, Jagadeesan and Gupta. We view Gentzen as a prototype of the class of state-oriented synchronous languages, since it offers t

The role of functional languages in soft

The role of functional languages in software development

✍ Roy MacLean 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 962 KB