scientific article
From MaRDI portal
Publication:2844038
zbMath1270.68065MaRDI QIDQ2844038
Kenneth MacKenzie, I. Stark, Lennart Beringer
Publication date: 27 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105800830
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18)
Related Items (3)
A Linear First-Order Functional Intermediate Language for Verified Compilers ⋮ A program logic for resources ⋮ Grail
Uses Software
This page was built for publication:
