2 papers
cs.PL2023
Seamless, Correct, and Generic Programming over Serialised Data
Guillaume Allais
In typed functional languages, one can typically only manipulate data in a type-safe manner if it first has been deserialised into an in-memory tree represented as a graph of nodes…
cs.PL2023
Scoped and Typed Staging by Evaluation
Guillaume Allais
Using a dependently typed host language, we give a well scoped-and-typed by construction presentation of a minimal two level simply typed calculus with a static and a dynamic stage…