A Specification Language for Interoperable GIS

This publication has 10 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Knowledge in Action
  Published by MIT Press ,2001
• A Theory of Objects
  Published by Springer Nature ,1996
• Specifying open GIS with functional languages
  Published by Springer Nature ,1995
• Programming with Fudgets
  Lecture Notes in Computer Science, 1995
• Functional programming with overloading and higher-order polymorphism
  Published by Springer Nature ,1995
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• On the relevance of formal methods to software development
  Published by Springer Nature ,1985
• Heterogeneous algebras
  Journal of Combinatorial Theory, 1970
• An axiomatic basis for computer programming
  Communications of the ACM, 1969