| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2014 | J | jnl |
J. Funct. Program.
|
| 2010 | — | conf |
CIG
|
| 2009 | — | conf |
Semantics and Algebraic Specification
|
| 2005 | — | conf |
LDTA@ETAPS
|
| 2004 | — | book |
Programming language design concepts.
|
| 2000 | B | ed. |
CC
|
| 1994 | B | conf |
CC
|
| 1993 | — | book |
Programming language processors - compilers and interpreters.
|
| 1992 | B | conf |
CC
|
| 1991 | A | conf |
Functional Programming
|
| 1991 | J | jnl |
Comput. J.
|
| 1991 | — | book |
Programming language syntax and semantics.
|
| 1990 | — | book |
Programming language concepts and paradigms.
|
| 1987 | — | book |
Ada - language and methodology.
|
| 1987 | B | conf |
MFPS
|
| 1987 | — | conf |
Formal Description of Programming Concepts
|
| 1986 | J | jnl |
Softw. Pract. Exp.
|
| 1983 | — | conf |
Method and tools for compiler construction
|
| 1983 | J | jnl |
Comput. J.
|
| 1981 | — | conf |
Pascal - The Language and its Implementation
|
| 1980 | — | conf |
Semantics-Directed Compiler Generation
|
| 1979 | J | jnl |
Softw. Pract. Exp.
|
| 1979 | J | jnl |
ACM SIGPLAN Notices
|
| 1977 | J | jnl |
Acta Informatica
|
| 1974 | — | — |