Author of the publication

Calculating Software Generators from Solution Specifications.

, , , , , , , , and . TAPSOFT, volume 915 of Lecture Notes in Computer Science, page 546-560. Springer, (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The Romulus Proof Checker., , , , and . CADE, volume 449 of Lecture Notes in Computer Science, page 651-652. Springer, (1990)Software design for reliability and reuse: a proof-of-concept demonstration., , , , , , , , , and 2 other author(s). TRI-Ada, page 396-404. ACM, (1994)Haskell as an Automation Controller., , and . Advanced Functional Programming, volume 1608 of Lecture Notes in Computer Science, page 268-289. Springer, (1998)A Software Engineering Experiment in Software Component Generation., , , , , , , , , and . ICSE, page 542-552. IEEE Computer Society, (1996)Static Single Assignment for Explicitely Parallel Programs., , and . POPL, page 260-272. ACM Press, (1993)Monads, Indexes and Transformations., and . TAPSOFT, volume 668 of Lecture Notes in Computer Science, page 314-327. Springer, (1993)Type-Driven Defunctionalization., , and . ICFP, page 25-37. ACM, (1997)SIGPLAN Notices 32(8), August 1997.Client-Side Web Scripting with HaskellScript., , and . PADL, volume 1551 of Lecture Notes in Computer Science, page 196-210. Springer, (1999)Fine Control of Demand in Haskell., , and . MPC, volume 2386 of Lecture Notes in Computer Science, page 68-93. Springer, (2002)Teaching Software Quality and Leadership: Experiences and Successes., and . APSEC, page 333-344. IEEE Computer Society, (1995)