Wolfgang Henhapl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
1978–1986
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1986 | POPL | Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis. | Gregor Snelting, Wolfgang Henhapl |
| 1978 | FM | A Formal Definition of Algol 60 as Described in the 1975 Modified Report. | Wolfgang Henhapl, Cliff B. Jones |