Vincent Balat

From MaRDI portal
Revision as of 08:48, 6 October 2023 by Import231006081045 (talk | contribs) (Created automatically from import231006081045)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:2498897

Available identifiers

zbMath Open balat.vincentMaRDI QIDQ2498897

List of research outcomes





PublicationDate of PublicationType
Eliom: A Core ML Language for Tierless Web Programming2016-12-21Paper
Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums2015-11-11Paper
Specifying Imperative ML-Like Programs Using Dynamic Logic2011-01-21Paper
Remarks on isomorphisms in typed lambda calculi with empty and sum types2006-08-16Paper
https://portal.mardi4nfdi.de/entity/Q44403212003-12-16Paper
https://portal.mardi4nfdi.de/entity/Q27019782001-03-12Paper
https://portal.mardi4nfdi.de/entity/Q49452292000-09-05Paper

Research outcomes over time

This page was built for person: Vincent Balat

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2498897&oldid=6942031"
Powered by MediaWiki