Dimitrios Vytiniotis

Available identifiers

zbMath Open vytiniotis.dimitriosMaRDI QIDQ2819689

List of research outcomes

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
Modular, higher-order cardinality analysis in theory and practice	2014-04-10	Paper
Closed type families with overlapping equations	2014-04-10	Paper
Generative type abstraction and type-level computation	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	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dimitrios Vytiniotis