Vincent Balat

Available identifiers

zbMath Open balat.vincentMaRDI QIDQ2498897

List of research outcomes

Publication	Date of Publication	Type
Eliom: A Core ML Language for Tierless Web Programming	2016-12-21	Paper
Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums	2015-11-11	Paper
Specifying imperative ML-like programs using dynamic logic	2011-01-21	Paper
Remarks on isomorphisms in typed lambda calculi with empty and sum types	2006-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q4440321	2003-12-16	Paper
Labelled proof systems for intuitionistic provability	2001-03-12	Paper
https://portal.mardi4nfdi.de/entity/Q4945229	2000-09-05	Paper

Research outcomes over time

This page was built for person: Vincent Balat