Functional data analysis - Document - PDFSEARCH.IO

First Page		Document Content
Software engineering Programming language theory Functional programming Type systems Program analysis Generalized algebraic data type Type inference Algebraic data type Algorithm Type theory Mathematics Data types		Add to Reading List Source URL: sites.google.com Download Document from Source Website Share Document on Facebook

	DSLs in Haskell Ryan Newton Back-end DocID: 1ru0C - View Document
	PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama DocID: 1rduU - View Document
	Comparing Datatype Generic Libraries in Haskell Alexey Rodriguez Yakushev Johan Jeuring Patrik Jansson Alex Gerdes DocID: 1qy7b - View Document
	Algebraic Optimization of Combined Overlay Operations* Claus Dorenbeckt Max J. Egenhofer* National Center for Geographic Information and Analysis University of Maine DocID: 1qhqk - View Document
	PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama DocID: 1pYnx - View Document