Author of the publication

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

Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel, , and . CoRR, (2004)A Software Engineering Experiment in Software Component Generation., , , , , , , , , and . ICSE, page 542-552. IEEE Computer Society, (1996)Proving the Correctness of Storage Representations., and . LISP and Functional Programming, page 151-160. ACM, (1992)Software design for reliability and reuse: a proof-of-concept demonstration., , , , , , , , , and 2 other author(s). TRI-Ada, page 396-404. ACM, (1994)Calculating Software Generators from Solution Specifications., , , , , , , , and . TAPSOFT, volume 915 of Lecture Notes in Computer Science, page 546-560. Springer, (1995)The VLISP Verified PreScheme Compiler., , and . LISP Symb. Comput., 8 (1-2): 111-182 (1995)C-: A Portable Assembly Language., , and . Implementation of Functional Languages, volume 1467 of Lecture Notes in Computer Science, page 1-19. Springer, (1997)From ML to Ada: Strongly-Typed Language Interoperability via Source Translation., and . J. Funct. Program., 8 (4): 367-412 (1998)