Specifying open GIS with functional languages

This publication has 11 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Formalization of conceptual models for GIS using Gofer
  Computers, Environment and Urban Systems, 1995
• Monad transformers and modular interpreters
  Published by Association for Computing Machinery (ACM) ,1995
• Qualified Types
  Published by Cambridge University Press (CUP) ,1994
• Grundlagen der funktionalen Programmierung
  Published by Springer Nature ,1994
• Report on the programming language Haskell
  ACM SIGPLAN Notices, 1992
• Report on Workshop on Very Large Spatial Databases
  Journal of Visual Languages & Computing, 1990
• Conception, evolution, and application of functional programming languages
  ACM Computing Surveys, 1989
• The functional data model and the data languages DAPLEX
  ACM Transactions on Database Systems, 1981
• Can programming be liberated from the von Neumann style?
  Communications of the ACM, 1978