Dimitrios Vytiniotis

Available identifiers

Publication	Date of Publication	Type
Modular, higher order cardinality analysis in theory and practice	2017-10-23	Paper
HLIO: mixing static and dynamic typing for information-flow control in Haskell	2017-05-10	Paper
https://portal.mardi4nfdi.de/entity/Q2958372	2017-02-01	Paper
Refinement types for Haskell	2016-09-29	Paper
A Reflection on Types	2016-08-17	Paper
Boxy types	2015-08-03	Paper
Free Theorems and Runtime Type Representations	2015-07-10	Paper
FPH	2015-03-16	Paper
Functional pearl	2015-03-05	Paper
Complete and decidable type inference for GADTs	2015-01-06	Paper
HALO	2014-11-27	Paper
Generative type abstraction and type-level computation	2014-04-10	Paper
Modular, higher-order cardinality analysis in theory and practice	2014-04-10	Paper
Closed type families with overlapping equations	2014-04-10	Paper
<scp>OutsideIn(X)</scp>Modular type inference with local assumptions	2013-04-24	Paper
Every bit counts: the binary representation of typed data and programs	2012-10-29	Paper
Stop when you are almost-full. Adventures in constructive termination	2012-09-20	Paper
Parametricity, type equality, and higher-order polymorphism	2010-05-26	Paper
Practical type inference for arbitrary-rank types	2007-02-07	Paper
Theorem Proving in Higher Order Logics	2006-07-06	Paper

This page was built for person: Dimitrios Vytiniotis