Login / Signup

Recursive type generativity.

Derek Dreyer
Published in: J. Funct. Program. (2007)
Keyphrases
  • real world
  • high quality
  • special case
  • management system