Transporting Functions across Ornaments Technical Report - Inductive data type - Document - PDFSEARCH.IO

First Page	Meta Content
	Transporting Functions across Ornaments Technical Report Add to Reading List Document Date: 2012-03-13 22:34:14 Open Document File Size: 334,84 KB Share Result on Facebook IndustryTerm proof systems / machinery / correct-by-construction software / typed systems / / Person Nat / Pierre-Evariste Dagand Conor McBride / Cheney / / Position programmer / / ProgrammingLanguage Haskell / / Technology functional programming / / SocialTag Data types Type theory Dependently typed programming Functional programming Functional languages Inductive data type C++ classes Generic programming Generalized algebraic data type Software engineering

Transporting Functions across Ornaments Technical ReportAdd to Reading List