scientific article; zbMATH DE number 1956543

zbMath1032.68555MaRDI QIDQ4417880

Matthias Felleisen, John C. Clements

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2618/26180022.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theory of programming languages (68N15) Data encryption (aspects in computer science) (68P25)

Related Items (2)

Improving the lazy Krivine machine ⋮ A functional correspondence between monadic evaluators and abstract machines for languages with computational effects

This page was built for publication: