Fritz Henglein

Fritz Henglein

Professor

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.

 


  1. 1991
  2. Udgivet

    A Decidable Case of the Semi-Unification Problem

    Henglein, Fritz & Leiss, H., 1991, Proc. 16th. Int.Symp. on Mathematical Foundations of Computer Science, LNCS 520. Berlin: Springer, s. 318-327

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

  3. Udgivet

    Book review of Helmut Partsch, ``Specification and Transformation of Programs'', Springer, Heidelberg, 1990

    Henglein, Fritz, 1991, I: Science of Computer Programming. 17, 1--3, s. 247--249 3 s.

    Publikation: Bidrag til tidsskriftAnmeldelse

  4. Udgivet

    Efficient Type Inference for Higher-Order Binding-Time Analysis

    Henglein, Fritz, 1991, Lecture Notes in Computer Science, vol.523: Proc. Functional Programming Languages and Computer Architecture. Berlin: Springer, s. 448-472

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

  5. Udgivet

    Programming with Structures, Functions, and Objects

    Henglein, Fritz, 1991, Proc. XVII Latin American Informatics Conference (PANEL '91). s. 333-352 20 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  6. 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/rapportBidrag til bog/antologiForskning

  7. 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/rapportBidrag til bog/antologiForskning

ID: 7193