Fritz Henglein

Fritz Henglein

Professor

Introductory remarks on publicationslist

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. Published

    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, p. 318-327

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  3. Published

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

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

    Research output: Contribution to journalLiterature review

  4. Published

    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, p. 448-472

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  5. Published

    Programming with Structures, Functions, and Objects

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

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  6. Published

    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, p. 119-130

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  7. Published

    Type Analysis and Data Structure Selection

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

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  8. 1992
  9. Published

    Dynamic Typing

    Henglein, Fritz, 1992, Proc. European Symp. on Programming (ESOP), Rennes, France. Berlin, Tyskland: Springer, p. 233--253 21 p. (Lecture Notes in Computer Science (LNCS), Vol. 582).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  10. Published

    Global Tagging Optimization by Type Inference

    Henglein, Fritz, 1992, Proc. 1992 ACM Conf. on LISP and Functional Programming (LFP), San Francisco, California. Association for Computing Machinery

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  11. Published

    Simple closure analysis

    Henglein, Fritz, 1992, In: DIKU Semantics Report. D-193, March

    Research output: Contribution to journalJournal article

  12. 1993
  13. Published

    Type Inference with Polymorphic Recursion

    Henglein, Fritz, 1993, In: ACM Transactions on Programming Languages and Systems (TOPLAS). 15, 2, p. 253--289 37 p.

    Research output: Contribution to journalJournal articlepeer-review

Previous 1 2 3 4 5 6 7 8 ...10 Next

ID: 7193