System f-omega with equirecursive types for datatype-generic programming.

Yufei Cai Paolo G. Giarrusso Klaus Ostermann

Published in: POPL (2016)

Keyphrases

programming language
programming environment
data sets
information systems
e learning
image processing
multimedia
information technology
development environment