Extracting Text from Proofs | 31 | 4.81 | 1995 |
Proof by Pointing | 22 | 2.32 | 1994 |
CENTAUR: towards a “software tool box” for programming environments | 1 | 0.34 | 1989 |
Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings | 23 | 12.86 | 1987 |
A simple applicative language: mini-ML | 84 | 14.13 | 1986 |
Documents Structure and Modularity in Mentor | 17 | 4.42 | 1984 |
Semantics of Data Types: International Symposium, Sophia-Antipolis, France, June 27-29, 1984 Proceedings | 20 | 21.66 | 1984 |
Outline of a Tool for Document Manipulation | 5 | 1.16 | 1983 |
On the formal definition of ADA | 2 | 0.68 | 1980 |
Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979 | 21 | 48.03 | 1979 |
Coroutines and Networks of Parallel Processes | 261 | 96.48 | 1977 |
The Semantics of Simple Language for Parallel Programming. | 927 | 115.96 | 1974 |
Algorithmes d'equivalence et de reduction a des expressions minimales dans une classe d'equations recursives simples | 23 | 17.30 | 1974 |