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.
- Published
Safe Polymorphic Type Inference for a Dynamically Typed Language: Translating Scheme to ML
Henglein, Fritz & Rehof, J., 1995, FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture. Association for Computing Machinery, p. 192--203 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Safe Region-Based Memory Management for Objects
Christiansen, M. V., Henglein, Fritz, Niss, H. & Velschow, P., 1998.Research output: Working paper
- Published
Scripting languages and frameworks: analysis and verification (Dagstuhl Seminar 14271)
Henglein, Fritz (ed.), Jhala, R. (ed.), Krishnamurthi, S. (ed.) & Thiemann, P. (ed.), 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 24 p. (Dagstuhl Reports; No. 6, Vol. 4).Research output: Book/Report › Report › Research
- Published
Simple closure analysis
Henglein, Fritz, 1992, In: DIKU Semantics Report. D-193, MarchResearch output: Contribution to journal › Journal article › Research
- Published
Sorting and searching by distribution: from generic discrimination to generic tries
Henglein, Fritz & Hinze, R., 2013, Programming Languages and Systems: 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings. Shan, C. (ed.). Springer, p. 315-332 18 p. (Lecture notes in computer science, Vol. 8301).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Special issue dedicated to Bob Paige
Henglein, Fritz, Danvy, O., Pettorossi, A. & Mairson, H., 2003, In: Higher-Order and Symbolic Computation. 16, 1Research output: Contribution to journal › Editorial › Research
- 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, 1Research output: Contribution to journal › Editorial › Research
- Published
- 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
- 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-361Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- 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
- 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
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
- 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
- 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
- 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
- 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 journal › Journal article › Research › peer-review
- Published
What is a Sort Function?
Henglein, Fritz, 2007, NWPT '07/FLACOS '07: workshop proceedings, October 9-12, 2007, Oslo, Norway. Johnsen, E. B., Owe, O. & Schneider, G. (eds.). Universitetet i Oslo, p. 26-28 3 p. (Research report. Universitetet i Oslo. Institutt for informatikk; No. 366).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
What is a Sorting Function?
Henglein, Fritz, 2009, In: Journal of Logic and Algebraic Programming. 78, 7, p. 552-572 20 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Optimizing relational algebra operations using discrimination-based joins and lazy products
Henglein, Fritz, 2009, København: Museum Tusculanum, p. 32.Research output: Working paper
ID: 7193
Most downloads
-
372
downloads
A Formally Verified Static Analysis Framework for Compositional Contracts
Research output: Contribution to conference › Paper › Research › peer-review
Published -
265
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Research output: Book/Report › Anthology › Research
Published -
216
downloads
Big Data eller privacy?
Research output: Contribution to conference › Paper › Research
Published