Practical Datatype Specializations with Phantom Types and Recursion Schemes

Matthew Fluet Riccardo Pucella

Published in: CoRR (2005)

Keyphrases

real time
complex objects
practical application
real world
information systems
special case
artificial intelligence
three dimensional
wide range
computational complexity
information technology