Login / Signup

Conjunctive Type Systems and Abstract Interpretation of Higher-Order Functional Programs.

Thomas P. Jensen
Published in: J. Log. Comput. (1995)
Keyphrases
  • higher order
  • distributed systems
  • functional programs
  • management system
  • abstract interpretation
  • data structure
  • general purpose