Programming in the large: The algebraic-functional language Opal 2α

This publication has 10 references indexed in Scilit:

• Transformational approach to transportation scheduling
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A high-level derivation of global search algorithms (with constraint propagation)
  Science of Computer Programming, 1997
• ML for the Working Programmer
  Published by Cambridge University Press (CUP) ,1996
• Towards integrating algebraic specification and functional programming: the Opal system
  Published by Springer Nature ,1996
• OPAL: Design and implementation of an algebraic programming language
  Published by Springer Nature ,1994
• On the complexity of ML typability with overloading
  Published by Springer Nature ,1991
• Algebraic Specification
  Published by Elsevier ,1990
• How to make ad-hoc polymorphism less ad hoc
  Published by Association for Computing Machinery (ACM) ,1989
• Structured algebraic specifications: A Kernel language
  Theoretical Computer Science, 1986
• Extended ML: An institution-independent framework for formal program development
  Published by Springer Nature ,1986