Georg Neis

Available identifiers

zbMath Open neis.georgMaRDI QIDQ2931795

List of research outcomes

Publication	Date of Publication	Type
Pilsner: a compositionally verified compiler for a higher-order imperative language	2017-05-10	Paper
The marriage of bisimulations and Kripke logical relations	2015-09-11	Paper
A relational modal logic for higher-order stateful ADTs	2015-06-11	Paper
The impact of higher-order state and control effects on local relational reasoning	2015-03-05	Paper
Non-parametric parametricity	2015-01-06	Paper
The power of parameterization in coinductive proof	2014-11-27	Paper
Non-parametric parametricity	2013-04-24	Paper
The impact of higher-order state and control effects on local relational reasoning	2012-10-29	Paper

Research outcomes over time

This page was built for person: Georg Neis