Polytypic programming

Polytypic programming (1996)

by Patrik Jansson , Patrik Jansson

Venue:	2nd Int. School on Advanced Functional Programming
Citations:	86 - 12 self

Datum	Value	Source
TITLE	Polytypic programming	INFERENCE
AUTHOR NAME	Patrik Jansson	SVM HeaderParse 0.2
AUTHOR AFFIL	Department of Computing Science Chalmers University of Technology and G"oteborg University	SVM HeaderParse 0.2
AUTHOR ADDR	G"oteborg, 2000	SVM HeaderParse 0.2
AUTHOR NAME	Patrik Jansson	SVM HeaderParse 0.2
AUTHOR AFFIL	; Department of Computing Science Chalmers University of Technology and G"oteborg University; Functional Polytypic Programming Patrik Jansson Department of Computing Science Chalmers	SVM HeaderParse 0.2
ABSTRACT	PolyP extends a functional language (a subset of Haskell) with a construct for defining polytypic functions by induction on the structure of user-defined datatypes. Programs in the extended language are translated to Haskell. PolyLib contains powerful structured recursion operators like catamorphisms, maps and traversals, as well as polytypic versions of a number of standard functions from functional programming: sum, length, zip, (==), (6), etc. Both the specification of the library and a PolyP implementation are presented.	SVM HeaderParse 0.2
YEAR	1996	INFERENCE
VENUE	2nd Int. School on Advanced Functional Programming	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	68--114	INFERENCE
VOLUME	1129	INFERENCE
TECH	PhD thesis	INFERENCE
CITATIONS	13 found	ParsCit 1.0