Fritz Henglein

Fritz Henglein

Professor

ORCID: 0000-0001-5190-2125

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.

 


Publication year:
All
81 - 90 out of 95Page size: 10
Sort by: Title
  1. Published

    Special issue dedicated to Bob Paige

    Henglein, Fritz, Danvy, O., Pettorossi, A. & Mairson, H., 2003, In: Higher-Order and Symbolic Computation. 16, 1

    Research output: Contribution to journal › Editorial › Research

  2. Published

    Special issue dedicated to Bob Paige (Part 2)

    Danvy, O., Henglein, Fritz, Mairson, H. & Pettorossi, A., 2005, In: Higher-Order and Symbolic Computation. 18, 1

    Research output: Contribution to journal › Editorial › Research

  3. Published

    Syntactic Properties of Polymorphic Subtyping

    Henglein, Fritz, 1996.

    Research output: Working paper › Research

  4. Published

    Technical perspective: large-scale sound and precise program analysis

    Henglein, Fritz, 2010, In: Communications of the ACM. 53, 8, p. 114 1 p.

    Research output: Contribution to journal › Comment/debate › Research › peer-review

  5. Published

    The Complexity of Subtype Entailment for Simple Types

    Henglein, Fritz & Rehof, N. J., 1997, Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science (LICS). Warszawa, Polen: IEEE Computer Society Press, p. 352-361

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  6. Published

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

    Henglein, Fritz & Mairson, H., 1994, In: Journal of Functional Programming (JFP). 4, 4, p. 435--477 43 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  7. 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 proceeding › Book chapter › Research

  8. Published

    The Programming of Algebra

    Henglein, Fritz, Kaarsgaard, R. & Mathiesen, Mikkel Kragh, Jun 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 360, p. 71-92 22 p.

    Research output: Contribution to journal › Conference article › Research › peer-review

  9. Published

    Trustworthy pervasive healthcare services via multiparty session types

    Henriksen, A. S., Nielsen, L., Hildebrandt, T., Yoshida, N. & Henglein, Fritz, 2013, Foundations of Health Information Engineering and Systems: Second International Symposium, FHIES 2012, Paris, France, Revised Selected Papers. Weber, J. & Perseil, I. (eds.). Springer, p. 124-141 18 p. (Lecture notes in computer science, Vol. 7789).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  10. Published

    Two-pass greedy regular expression parsing

    Grathwohl, N. B. B., Henglein, Fritz, Nielsen, L. & Rasmussen, U. T., 2013, Implementation and Application of Automata: 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings. Konstantinidis, S. (ed.). Springer, p. 60-71 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Previous 1...5 6 7 8 9 10 Next

ID: 7193