Fritz Henglein
Professor
Programming Languages and Theory of Computing
Universitetsparken 5, 2100 København Ø
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.
- Udgivet
Regular expression containment: coinductive axiomatization and computational interpretation
Henglein, Fritz & Nielsen, L., 2011, I: A C M / S I G P L A N Notices. 46, 1, s. 385-398 14 s.Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt
- Udgivet
Relational algebra by way of adjunctions
Gibbons, J., Henglein, Fritz, Hinze, R. & Wu, N., 2016. 16 s.Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning
- Udgivet
Relational algebra by way of adjunctions
Gibbons, J., Henglein, Fritz, Hinze, R. & Wu, N., 2018, I: Proceedings of the ACM on Programming Languages. 2, ICFP, s. 1-28 86.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Rock’n’roll computer science
Henglein, Fritz, 2012, Logic and program semantics: essays dedicated to Dexter Kozen on the occasion of his 60th birthday. Constable, R. L. & Silva, A. (red.). Springer, s. 354-355 2 s. (Lecture notes in computer science, Bind 7230).Publikation: Bidrag til bog/antologi/rapport › Kommentar › Formidling
- Udgivet
SIGPLAN and the World Series
Henglein, Fritz, 1998, I: A C M / S I G P L A N Notices. 33, 1Publikation: Bidrag til tidsskrift › Leder › Forskning
- Udgivet
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, s. 192--203 12 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Safe Region-Based Memory Management for Objects
Christiansen, M. V., Henglein, Fritz, Niss, H. & Velschow, P., 1998.Publikation: Working paper › Forskning
- Udgivet
Scripting languages and frameworks: analysis and verification (Dagstuhl Seminar 14271)
Henglein, Fritz (red.), Jhala, R. (red.), Krishnamurthi, S. (red.) & Thiemann, P. (red.), 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 24 s. (Dagstuhl Reports; Nr. 6, Bind 4).Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
- Udgivet
Simple closure analysis
Henglein, Fritz, 1992, I: DIKU Semantics Report. D-193, MarchPublikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning
- Udgivet
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. (red.). Springer, s. 315-332 18 s. (Lecture notes in computer science, Bind 8301).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
ID: 7193
Flest downloads
-
370
downloads
A Formally Verified Static Analysis Framework for Compositional Contracts
Publikation: Konferencebidrag › Paper › Forskning › fagfællebedømt
Udgivet -
265
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
Udgivet -
215
downloads
Big Data eller privacy?
Publikation: Konferencebidrag › Paper › Forskning
Udgivet