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
11 - 20 ud af 95Pr. side: 10
Sortering: Udgivelsesdato
  1. 1994
  2. Udgivet

    Dynamic Typing: Syntax and Proof Theory

    Henglein, Fritz, 1994, I: Science of Computer Programming. 22, 3, s. 197-230 34 s.

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

  3. Udgivet

    Formally optimal boxing

    Henglein, Fritz & Jørgensen, J., 1994, 21st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Portlan, Oregon. s. 213-226

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

  4. Udgivet

    Iterative fixed point computation for type-based strictness analysis

    Henglein, Fritz, 1994, Static Analysis: First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28–30, 1994 Proceedings. Le Charlier, B. (red.). Springer, s. 395-407 13 s. (Lecture notes in computer science, Bind 864).

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

  5. Udgivet

    Polymorphic binding-time analysis

    Henglein, Fritz & Mossin, C., 1994, Proceedings of European Symposium on Programming, Vol 788 of Lecture Notes in Computer Science. Springer, s. 287-301

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

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

  7. 1995
  8. Udgivet

    A Semantic Model of Binding Times for Safe Partial Evaluation

    Henglein, Fritz & Sands, D., 1995, Proc.\Programming Languages: Implementations, Logics and Programs (PLILP, Utrecht, The Netherlands, Lecture Notes in Computer Science. Springer

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

  9. Udgivet

    Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time

    Dussart, D., Henglein, Fritz & Mossin, C., 1995, Proc.\2nd Int. Static Analysis Symposium (SAS), Glasgow, Scotland. Springer

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

  10. Udgivet

    Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time

    Dussart, D., Henglein, Fritz & Mossin, C., 1995, Proc. 2nd Int'l Static Analysis Symposium (SAS). Springer, Bind LNCS.

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

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

  12. 1996
  13. Udgivet

    Syntactic Properties of Polymorphic Subtyping

    Henglein, Fritz, 1996.

    Publikation: Working paper › Forskning

Forrige 1 2 3 4 5 6 7 8 ...10 Næste

ID: 7193