Roland Dietrich

Publication Activity (10 Years)

Years Active: 1986-1991
Publications (10 Years): 0

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Roland Dietrich, Hendrik C. R. Lock
Exploiting Non-Determinism through Laziness in Guarded Functional Languages. TAPSOFT, Vol.2 (1991)
Roland Dietrich
How to Use Guarded Functional Programming. Declarative Programming (1991)
Roland Dietrich
A Preprocessor Based Module System for Prolog. TAPSOFT, Vol.2 (1989)
Roland Dietrich, Frank Hagl
A Polymorphic Type System with Subtypes for Prolog. ESOP (1988)
Gerhard Goos, Roland Dietrich, Peter Kursawe
Prolog-Arbeiten in Karlsruhe. Wissensbasierte Systeme (1987)
Roland Dietrich
Relating Resolution and Algebraic Completion for Horn Logic. CADE (1986)