<--- Back to Details
First PageDocument Content
Software engineering / Computing / Declarative programming / Functional programming / Lambda calculus / Data types / Models of computation / Exponentials / Eval / Interpreter / Scheme / Exponential function
Date: 2017-11-23 15:55:32
Software engineering
Computing
Declarative programming
Functional programming
Lambda calculus
Data types
Models of computation
Exponentials
Eval
Interpreter
Scheme
Exponential function

Collapsing Towers of Interpreters NADA AMIN, University of Cambridge, UK TIARK ROMPF, Purdue University, USA Given a tower of interpreters, i.e., a sequence of multiple interpreters interpreting one another as input prog

Add to Reading List

Source URL: lampwww.epfl.ch

Download Document from Source Website

File Size: 1.008,85 KB

Share Document on Facebook

Similar Documents

HMFEv - An Efficient Multivariate Signature Scheme Albrecht Petzoldt1(B) , Ming-Shing Chen2 , Jintai Ding3 , and Bo-Yin Yang2 1  National Institute for Standards and Technology, Gaithersburg, MD, USA

HMFEv - An Efficient Multivariate Signature Scheme Albrecht Petzoldt1(B) , Ming-Shing Chen2 , Jintai Ding3 , and Bo-Yin Yang2 1 National Institute for Standards and Technology, Gaithersburg, MD, USA

DocID: 1xVxV - View Document

Keyword and Optional Arguments in PLT Scheme Matthew Flatt Eli Barzilay  University of Utah and PLT

Keyword and Optional Arguments in PLT Scheme Matthew Flatt Eli Barzilay University of Utah and PLT

DocID: 1xVfP - View Document

A More Secure and Efficacious TTS Signature Scheme     Jiun-Ming Chen and Bo-Yin Yang

A More Secure and Efficacious TTS Signature Scheme   Jiun-Ming Chen and Bo-Yin Yang

DocID: 1xV6f - View Document

NET ASSET VALUE (€) - LOCALLY-BASED COLLECTIVE INVESTMENT SCHEMES JUNE 2015 Scheme Name  Sub-Fund Name

NET ASSET VALUE (€) - LOCALLY-BASED COLLECTIVE INVESTMENT SCHEMES JUNE 2015 Scheme Name Sub-Fund Name

DocID: 1xUOy - View Document

Lecture 8, Thurs Feb 9: More on Quantum Money, BB84 QKD Guest Lecture by Supartha Podder Continuation of Quantum Money Last time we discussed how classical money is copyable and described a scheme for making money uncopy

Lecture 8, Thurs Feb 9: More on Quantum Money, BB84 QKD Guest Lecture by Supartha Podder Continuation of Quantum Money Last time we discussed how classical money is copyable and described a scheme for making money uncopy

DocID: 1xUoL - View Document