Travelled to:
1 × Israel
Collaborated with:
C.Kirchner H.Kirchner
Talks about:
present (1) comput (1) order (1) equat (1) dynam (1) type (1) sort (1)
Person: Claus Hintermeier
DBLP: Hintermeier:Claus
Contributed to:
Wrote 1 papers:
- ICALP-1994-HintermeierKK #dynamic typing #equation #order
- Dynamically-Typed Computations for Order-Sorted Equational Presentations (CH, CK, HK), pp. 450–461.