Fritz Henglein

Fritz Henglein

Professor

ORCID: 0000-0001-5190-2125

Kommentarer til publikationsliste

The publications registered in CURIS (this system) and PUF (previous publication registration system at U. Copenhagen) are unfortunately incomplete and partially incorrect (particularly for PUF-registered publications). Since the registered information is practically very difficult to change at this point, for full information, including access to PDF-version of the papers, please see my home page: https://www.diku.dk/~henglein.

 


Udgivelsesår:
Alle
91 - 92 ud af 92Pr. side: 10
Sortering: Udgivelsesdato
  1. 1991
  2. Udgivet

    The Complexity of Type Inference for Higher-Order typed Lambda-Calculi

    Henglein, Fritz & Mairson, H., 1991, Proc.18th. ACM Symp. on Pronciples of Programming Languages. New York: Association for Computing Machinery, s. 119-130

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  3. Udgivet

    Type Analysis and Data Structure Selection

    Henglein, Fritz, Cai, J., Facon, P., Paige, R. & Schonberg, E., 1991, Constructing Programs from Specifications. North-Holland, s. 125-164 40 s.

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

Forrige 1...6 7 8 9 10 Næste

ID: 7193