Applicative information systems

This publication has 7 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Extended Type Structures and Filter Lambda Models
  Published by Elsevier ,1984
• Algebraic specification of data types: A synthetic approach
  Theory of Computing Systems, 1981
• Model of Partial Continuous Functionals
  Published by Elsevier ,1977
• Data Types as Lattices
  SIAM Journal on Computing, 1976
• Call-by-name, call-by-value and the λ-calculus
  Theoretical Computer Science, 1975
• Continuous lattices
  Lecture Notes in Mathematics, 1972