Calculate Polytypically!

Calculate Polytypically! (1996)

by Lambert Meertens

Venue:	In PLILP'96, volume 1140 of LNCS
Citations:	41 - 3 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Calculate Polytypically!	user correction - Legacy Corrections
AUTHOR NAME	Lambert Meertens	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Algorithmics and Architecture, CWI, Amsterdam, and; Department of Computing Science, Utrecht University	SVM HeaderParse 0.2
AUTHOR ADDR	The Netherlands	SVM HeaderParse 0.1
ABSTRACT	A polytypic function definition is a function definition that is parametrised with a datatype. It embraces a class of algorithms. As an example we define a simple polytypic "crush" combinator that can be used to calculate polytypically. The ability to define functions polytypically adds another level of flexibility in the reusability of programming idioms and in the design of libraries of interoperable components.	user correction - Legacy Corrections
YEAR	1996	INFERENCE
VENUE	In PLILP'96, volume 1140 of LNCS	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	1--16	INFERENCE
VOLUME	1140	INFERENCE
CITATIONS	36 found	ParsCit 1.0