Higher-Order Intensional Type Analysis

This publication has 20 references indexed in Scilit:

• Safe and Flexible Dynamic Linking of Native Code
  Published by Springer Nature ,2001
• Recursion over objects of functional type
  Mathematical Structures in Computer Science, 2001
• Flexible type analysis
  Published by Association for Computing Machinery (ACM) ,1999
• Making the future safe for the past
  Published by Association for Computing Machinery (ACM) ,1998
• Primitive recursion for higher-order abstract syntax
  Lecture Notes in Computer Science, 1997
• Type-directed partial evaluation
  Published by Association for Computing Machinery (ACM) ,1996
• Compiling polymorphism using intensional type analysis
  Published by Association for Computing Machinery (ACM) ,1995
• Dynamic typing in polymorphic languages
  Journal of Functional Programming, 1995
• Extensional polymorphism
  Published by Association for Computing Machinery (ACM) ,1995
• Dynamic typing in a statically typed language
  ACM Transactions on Programming Languages and Systems, 1991