Login / Signup

A type system for well-founded recursion.

Derek Dreyer
Published in: POPL (2004)
Keyphrases
  • information systems
  • database systems
  • expert systems
  • pairwise