Fritz Henglein

Fritz Henglein

Professor

ORCID: 0000-0001-5190-2125

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.

 


Udgivelsesår:
Alle
1 - 25 ud af 95Pr. side: 25
Sortering: Titel
  1. Udgivet

     Optimizing relational algebra operations using discrimination-based joins and lazy products

    Henglein, Fritz, 2009, København: Museum Tusculanum, s. 32.

    Publikation: Working paper › Forskning

  2. Udgivet

    What is a Sorting Function?

    Henglein, Fritz, 2009, I: Journal of Logic and Algebraic Programming. 78, 7, s. 552-572 20 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  3. Udgivet

    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. (red.). Universitetet i Oslo, s. 26-28 3 s. (Research report. Universitetet i Oslo. Institutt for informatikk; Nr. 366).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  4. Udgivet

    Type Inference with Polymorphic Recursion

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  5. Udgivet

    Type Analysis and Data Structure Selection

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

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  6. Udgivet

    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. (red.). Springer, s. 60-71 12 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  7. Udgivet

    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. (red.). Springer, s. 124-141 18 s. (Lecture notes in computer science, Bind 7789).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  8. Udgivet

    The Programming of Algebra

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

    Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt

  9. Udgivet

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

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  10. Udgivet

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

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  11. Udgivet

    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, s. 352-361

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  12. Udgivet

    Technical perspective: large-scale sound and precise program analysis

    Henglein, Fritz, 2010, I: Communications of the ACM. 53, 8, s. 114 1 s.

    Publikation: Bidrag til tidsskrift › Kommentar/debat › Forskning › fagfællebedømt

  13. Udgivet

    Syntactic Properties of Polymorphic Subtyping

    Henglein, Fritz, 1996.

    Publikation: Working paper › Forskning

  14. Udgivet

    Special issue dedicated to Bob Paige (Part 2)

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

    Publikation: Bidrag til tidsskrift › Leder › Forskning

  15. Udgivet

    Special issue dedicated to Bob Paige

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

    Publikation: Bidrag til tidsskrift › Leder › Forskning

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

  17. Udgivet

    Simple closure analysis

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

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

  19. Udgivet

    Safe Region-Based Memory Management for Objects

    Christiansen, M. V., Henglein, Fritz, Niss, H. & Velschow, P., 1998.

    Publikation: Working paper › Forskning

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

  21. Udgivet

    SIGPLAN and the World Series

    Henglein, Fritz, 1998, I: A C M / S I G P L A N Notices. 33, 1

    Publikation: Bidrag til tidsskrift › Leder › Forskning

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

  23. Udgivet

    Relational algebra by way of adjunctions

    Gibbons, J., Henglein, Fritz, Hinze, R. & Wu, N., 2016. 16 s.

    Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning

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

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

Forrige 1 2 3 4 Næste

ID: 7193