Saint: an API-generic type-safe interpreter
Paper in proceeding, 2019
Interpreter
Lambda-calculus
Domain-specific language
Author
Maximilian Algehed
Chalmers, Computer Science and Engineering (Chalmers), Functional Programming
Patrik Jansson
Chalmers, Computer Science and Engineering (Chalmers), Functional Programming
Sólrún Einarsdóttir
Chalmers, Computer Science and Engineering (Chalmers), Functional Programming
Alex Gerdes
Student at Chalmers
University of Gothenburg
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 11457 LNCS 94-113978-3-030-18505-3 (ISBN)
Göteborg, Sweden,
Global systems Rapid Assessment tools through Constraint FUnctional Languages (GRACeFUL)
European Commission (EC) (EC/H2020/640954), 2015-02-01 -- 2018-01-31.
Centre of excellence for Global Systems Science (CoeGSS)
European Commission (EC) (EC/H2020/676547), 2015-10-01 -- 2018-09-30.
Areas of Advance
Information and Communication Technology
Subject Categories
Software Engineering
Computer Science
DOI
10.1007/978-3-030-18506-0_5