Saint: an API-generic type-safe interpreter
Paper i proceeding, 2019
Interpreter
Lambda-calculus
Domain-specific language
Författare
Maximilian Algehed
Chalmers, Data- och informationsteknik, Funktionell programmering
Patrik Jansson
Chalmers, Data- och informationsteknik, Funktionell programmering
Sólrún Einarsdóttir
Chalmers, Data- och informationsteknik, Funktionell programmering
Alex Gerdes
Student vid Chalmers
Göteborgs universitet
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,
Verktyg för snabb analys av globala system med hjälp av språk för funktionell och villkors-programmering
Europeiska kommissionen (EU) (EC/H2020/640954), 2015-02-01 -- 2018-01-31.
Centre of excellence for Global Systems Science (CoeGSS)
Europeiska kommissionen (EU) (EC/H2020/676547), 2015-10-01 -- 2018-09-30.
Styrkeområden
Informations- och kommunikationsteknik
Ämneskategorier
Programvaruteknik
Datavetenskap (datalogi)
DOI
10.1007/978-3-030-18506-0_5