Fritz Henglein
Professor
Programming Languages and Theory of Computing
Universitetsparken 5, 2100 København Ø
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.
- 1991
- 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-327Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- 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 journal › Literature review › Research
- 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-472Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- 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 proceeding › Article in proceedings › Research › peer-review
- 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-130Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- 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 proceeding › Book chapter › Research
ID: 7193
Most downloads
-
377
downloads
A Formally Verified Static Analysis Framework for Compositional Contracts
Research output: Contribution to conference › Paper › Research › peer-review
Published -
269
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Research output: Book/Report › Anthology › Research
Published -
219
downloads
Big Data eller privacy?
Research output: Contribution to conference › Paper › Research
Published