Comparing Datatype Generic Libraries in Haskell Alexey Rodriguez Yakushev Johan Jeuring Patrik Jansson Alex Gerdes

First Page		Document Content
Date: 2011-06-24 04:56:27 Software engineering Declarative programming Computing Data types Functional languages Type theory Functional programming Generic programming Dependently typed programming Generalized algebraic data type ATS Haskell		Comparing Datatype Generic Libraries in Haskell Alexey Rodriguez Yakushev Johan Jeuring Patrik Jansson Alex Gerdes Add to Reading List Source URL: www.cs.uu.nl Download Document from Source Website File Size: 427,14 KB Share Document on Facebook

	Functional Programming for Compiling and Decompiling Computer-Aided Design DocID: 1xW3j - View Document
	Informatics 1 Functional Programming Lectures 1 and 2 Monday 24–Tuesday 25 September 2012 Introduction, Functions Don Sannella DocID: 1xVWA - View Document
	Grattage, Jonathan JamesA functional quantum programming language. PhD thesis, University of Nottingham. Access from the University of Nottingham repository: http://eprints.nottingham.ac.ukthesis.pdf Cop DocID: 1xVW1 - View Document
	Functional Reactive Programming, Refactored Ivan Perez Manuel B¨arenz Henrik Nilsson DocID: 1xVxz - View Document
	Synthesis of Differentiable Functional Programs for Lifelong Learning Lazar Valkov 1 Dipak Chaudhari 2 Akash Srivastava 1 Charles Sutton 1 Swarat Chaudhuri 2 1. Summary Differentiable programming languages (Paszke et al DocID: 1xVxf - View Document