Experiences in translating Z designs to haskell implementations

This publication has 7 references indexed in Scilit:

• Automatic Translation of VDM Specifications into Standard ML Programs
  The Computer Journal, 1992
• A modular fully-lazy lambda lifter in Haskell
  Software: Practice and Experience, 1991
• Implementing Haskell Type Classes
  Published by Springer Nature ,1990
• Conception, evolution, and application of functional programming languages
  ACM Computing Surveys, 1989
• The Chalmers Lazy-ML Compiler
  The Computer Journal, 1989
• Functional programming, formal specification, and rapid prototyping
  IEEE Transactions on Software Engineering, 1986
• A Transformation System for Developing Recursive Programs
  Journal of the ACM, 1977