-
document
-
Rouvoet, A.J. (author), Poulsen, C.B. (author), Krebbers, R.J. (author), Visser, Eelco (author)
An intrinsically-typed definitional interpreter is a concise specification of dynamic semantics, that is executable and type safe by construction. Unfortunately, scaling intrinsically-typed definitional interpreters to more complicated object languages often results in definitions that are cluttered with manual proof work. For linearly-typed...
working paper 2020
Source URL (retrieved on 2024-06-08 11:21): https://repository.tudelft.nl/islandora/search/%20?amp%3Bamp%3Bf%5B0%5D=mods_genre_s%3A%22report%22&%3Bamp%3Bf%5B1%5D=RELS_EXT_isMemberOfCollection_uri_s%3A%22info%5C%3Afedora%5C/collection%5C%3Ahydraulic_reports%22&%3Bamp%3Bf%5B2%5D=mods_subject_topic_ss%3A%22Nederland%22&%3Bamp%3Bsort=mods_originInfo_dateSort_dt%20asc&%3Bf%5B0%5D=mods_name_personal_author_namePart_family_ss%3A%22Bakker%22&collection=research&f%5B0%5D=mods_genre_s%3A%22working%5C%20paper%22&f%5B1%5D=mods_subject_topic_ss%3A%22Mechanized%5C%20semantics%22