Dietmar Gärtner

According to our database¹, Dietmar Gärtner authored at least 3 papers between 1992 and 1996.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1996

π-Red+ An Interactive Compiling Graph Reduction System for an Applied λ-Calculus.

[BibT_eX]

[DOI]

J. Funct. Program., 1996

1992

π-Red+: ein interaktives codeausführendes Reduktionssystem zur vollständigen Realisierung eines angewandten λ-Kalküls.

[BibT_eX]

[DOI]

PhD thesis, 1992

π-Red<sup>+</sup> - ein codeausführendes Reduktionssystem zur Transformation von Programmen eines angewandten λ-Kalküls.

[BibT_eX]

Proceedings of the Architektur von Rechensystemen, 1992