Login / Signup

Type Reconstruction for Functional Programs with Subtyping over a Lattice of Atomic Types.

Jerzy Tiuryn
Published in: MFCS (1999)
Keyphrases
  • functional programs
  • multiple types
  • term rewriting systems
  • logic programs
  • database
  • lazy evaluation
  • artificial intelligence
  • logic programming