First Page | Document Content | |
---|---|---|
![]() Date: 2009-05-26 12:01:31Type theory Functional programming Data types Functional languages Subroutines Algebraic data type Pattern matching Monad Type system Software engineering Computing Computer programming | Add to Reading List |
![]() | DSLs in Haskell Ryan Newton Back-endDocID: 1ru0C - View Document |
![]() | PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-LezamaDocID: 1rduU - View Document |
![]() | Comparing Datatype Generic Libraries in Haskell Alexey Rodriguez Yakushev Johan Jeuring Patrik Jansson Alex GerdesDocID: 1qy7b - View Document |
![]() | Algebraic Optimization of Combined Overlay Operations* Claus Dorenbeckt Max J. Egenhofer* National Center for Geographic Information and Analysis University of MaineDocID: 1qhqk - View Document |
![]() | PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-LezamaDocID: 1pYnx - View Document |