✦ LIBER ✦

Modelling environments in call-by-value programming languages

✍ Scribed by PaulBlain Levy; John Power; Hayo Thielecke

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Axiomatics for Data Refinement in Call b

✍ John Power; Miki Tanaka 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 385 KB

Regular-Language Semantics for a Call-by

✍ Dan R. Ghica 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 186 KB

Data refinement, call by value and highe

✍ David A. Naumann 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 593 KB

Robot programming in the Automated Manuf

✍ S.M. Lee; C.S. Chen 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 284 KB

Call for Papers: AAUSC Volume in Languag

📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 74 KB

Call for Articles: AAUSC Volume in Langu

📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 52 KB