Martin Erwig

Available identifiers

Publication	Date of Publication	Type
Adaptable Traces for Program Explanations	2023-03-29	Paper
Variational Pictures	2023-02-23	Paper
Migrating gradual types	2022-11-18	Paper
Systematic identification and communication of type errors	2018-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q4608864	2018-03-29	Paper
Functional programming with graphs	2017-08-21	Paper
Principal type inference for GADTs	2016-10-24	Paper
Type-based parametric analysis of program families	2016-09-29	Paper
Guided Type Debugging	2014-07-24	Paper
An error-tolerant type system for variational lambda calculus	2014-07-21	Paper
Counter-factual typing for debugging type errors	2014-04-10	Paper
A domain-specific language for experimental game theory	2009-11-25	Paper
An update calculus for expressing type-safe program updates	2007-07-23	Paper
Gencel: a program generator for correct spreadsheets	2006-06-09	Paper
FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell	2006-01-13	Paper
Escape from Zurg: an exercise in logic programming	2005-04-15	Paper
Monadification of functional programs	2004-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4417899	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q2767170	2002-01-28	Paper
Inductive graphs and functional graph algorithms	2001-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q4520239	2000-12-12	Paper
Diets for fat sets	2000-01-09	Paper
https://portal.mardi4nfdi.de/entity/Q4234365	1999-03-16	Paper
Encoding shortest paths in spatial networks	1996-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q4281652	1994-03-10	Paper

This page was built for person: Martin Erwig