Suchergebnisse - "dependently typed programming"

A Haskell-embedded DSL for secure information-flow von Manzino, Cecilia, de Latorre, Gonzalo

“… This paper presents a domain-specific language, embedded in Haskell (EDSL), for enforcing the information flow property Delimited Release. To build this …”
Volltext

Intrinsically-typed definitional interpreters à la carte von van der Rest, Cas, Poulsen, Casper Bach, Rouvoet, Arjen, Visser, Eelco, Mosses, Peter

“… Specifying and mechanically verifying type safe programming languages requires significant effort. This effort can in theory be reduced by defining and reusing …”
Volltext

A completely unique account of enumeration von van der Rest, Cas, Swierstra, Wouter

“… How can we enumerate the inhabitants of an algebraic datatype? This paper explores a datatype generic solution that works for all regular types and indexed …”
Volltext

Datatype-generic programming meets elaborator reflection von Ko, Hsiang-Shang, Chen, Liang-Ting, Lin, Tzu-Chi

“… Datatype-generic programming is natural and useful in dependently typed languages such as Agda. However, datatype-generic libraries in Agda are not reused as …”
Volltext

When is a container a comonad? von Ahman, Danel, Chapman, James, Uustalu, Tarmo

“… Abbott, Altenkirch, Ghani and others have taught us that many parameterized datatypes (set functors) can be usefully analyzed via container representations in …”
Volltext

Certified CYK parsing of context-free languages von Firsov, Denis, Uustalu, Tarmo

Volltext

Agda Formalization of a Security-preserving Translation from Flow-sensitive to Flow-insensitive Security Types von Manzino, Cecilia, Pardo, Alberto

“… The analysis of information flow is a popular technique for ensuring the confidentiality of data. It is in this context that confidentiality policies arise for …”
Volltext