Sciweavers

ENTCS
2006

Practical Datatype Specializations with Phantom Types and Recursion Schemes

13 years 11 months ago
Practical Datatype Specializations with Phantom Types and Recursion Schemes
Matthew Fluet, Riccardo Pucella
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where ENTCS
Authors Matthew Fluet, Riccardo Pucella
Comments (0)