Interpreter
Lambda-calculus
Domain-specific language
Chalmers, Computer Science and Engineering (Chalmers), Functional Programming
Chalmers, Computer Science and Engineering (Chalmers), Functional Programming
Chalmers, Computer Science and Engineering (Chalmers), Functional Programming
Student at Chalmers
University of Gothenburg
03029743 (ISSN) 16113349 (eISSN)
Vol. 11457 LNCS 94-113European Commission (Horizon 2020), 2015-02-01 -- 2018-01-31.
European Commission (Horizon 2020), 2015-10-01 -- 2018-09-30.
Information and Communication Technology
Software Engineering
Computer Science
10.1007/978-3-030-18506-0_5