1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.PL2026
Mechanising Denotational Semantics in Agda
Peter D. Mosses, Jesper Cockx, Bernhard Reus
Mechanisation of a mathematical definition (also referred to as formalisation) has many benefits. Here, we focus on mechanising denotational semantic definitions of programming lan…
cs.PL2021★ 1 cited
Choosing is Losing: How to combine the benefits of shallow and deep embeddings through reflection
Artjoms Šinkarovs, Jesper Cockx
Dependently-typed host languages empower users to verify a wide range of properties of embedded languages and programs written in them. Designers of such embedded languages are fac…