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
26 - 50 ud af 95Pr. side: 25
Sortering: Titel
  1. Udgivet

    Combinatory Adjoints and Differentiation

    Elsman, Martin, Henglein, Fritz, Kaarsgaard, R., Mathiesen, Mikkel Kragh & Schenck, R., 2022, Proceedings Ninth Workshop on Mathematically Structured Functional Programming (MSFP 2022).. EPTCS, Bind 360. s. 1-26 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 360).

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

  2. Udgivet

    Compositional Contract Specification for REA

    Henglein, Fritz, Larsen, Ken Friis, Simonsen, Jakob Grue & Stefansen, C. O. E., 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. 130-132 (Research report. Universitetet i Oslo. Institutt for informatikk; Nr. 366).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

  3. Udgivet

    Compositional Specification of Commercial Contracts

    Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue, Andersen, J. & Elsborg, E., 2004, publisher. University of Cyprus, s. 8

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

  4. Udgivet

    Compositional Specification of Commercial Contracts (Technical. report)

    Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue, Andersen, J. & Elsborg, E., 2004, University of Copenhagen Institute of Computer Science: N/A. 38 s.

    Publikation: Bog/antologi/afhandling/rapport › Rapport › Formidling

  5. Udgivet

    Constraint Automata and the Complexity of Recursive Subtype Entailment, Lecture Notes in Computer Science, Vol.1443

    Henglein, Fritz & Rehof, J., 1998, Proceedings of the 25th International Coll. on Automata, Languages and Programming (ICALP). Springer, s. 616-627

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

  6. Udgivet

    Domain-specific languages for enterprise systems

    Andersen, J., Bahr, P., Henglein, Fritz & Hvitved, T., 2014, Leveraging applications of formal methods, verification and validation. Technologies for mastering change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I. Margaria, T. & Steffen, B. (red.). Springer, s. 73-95 23 s. (Lecture notes in computer science, Bind 8802).

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

  7. Udgivet

    Dynamic Typing

    Henglein, Fritz, 1992, Proc. European Symp. on Programming (ESOP), Rennes, France. Berlin, Tyskland: Springer, s. 233--253 21 s. (Lecture Notes in Computer Science (LNCS), Bind 582).

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

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

  9. Udgivet

    Dynamic symbolic computation for domain-specific language implementation

    Henglein, Fritz, 2012, Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers. Vidal, G. (red.). Springer, s. 4-24 21 s. (Lecture notes in computer science, Bind 7225).

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

  10. Udgivet

    Effect type systems and region-based memory management

    Henglein, Fritz, Makholm, H. & Niss, H., 2005, Advanced Topics in Types and Programming Languages. Cambridge, Mass.: MIT Press, s. -

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

  11. Udgivet

    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, s. 448-472

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

  12. Udgivet

    Efficient Type Matching

    Jha, S., Palsberg, J., Zhao, T. & Henglein, Fritz, 2008,  Automatic Program Development: A Tribute to Robert Page, Part III. Danvy, O., Mairson, H., Henglein, F. & Pettorossi, A. (red.). Springer, s. 229-246

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

  13. Udgivet

    Event-Based Supply Chain Network Modeling: Blockchain for Good Coffee

    Bager, S. L., Duedder, Boris, Henglein, Fritz, Hebert, J. M. & Wu, Haiqin, 2022, I: Frontiers in blockchain. 5, 18 s., 846783.

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

  14. Udgivet

    FinPar: a parallel financial benchmark

    Andreetta, C., Begot, V., Berthold, J., Elsman, Martin, Henglein, Fritz, Henriksen, Troels, Nordfang, M. & Oancea, Cosmin Eugen, 2016, I: ACM Transactions on Architecture and Code Optimization (TACO). 13, 2, s. 1 27 s., 18.

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

  15. Udgivet

    Financial software on GPUs: between Haskell and Fortran

    Oancea, Cosmin Eugen, Andreetta, C., Berthold, J., Frisch, A. & Henglein, Fritz, 2012, FHPC’12: Proceedings of the 1st ACM SIGPLAN Workshop on Functional High Performance Computing. Association for Computing Machinery, s. 61-72 12 s.

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

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

  17. Udgivet

    Functional High Performance Financial IT: the HIPERFIT Research Center in Copenhagen

    Berthold, J., Filinski, Andrzej, Henglein, Fritz, Larsen, Ken Friis, Steffensen, Mogens & Vinter, B., 2012, Trends in Functional Programming: 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers. Peña, R. & Page, R. (red.). Springer, s. 98-113 16 s. (Lecture notes in computer science, Bind 7193).

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

  18. Udgivet

    Futhark: purely functional GPU-programming with nested parallelism and in-place array updates

    Henriksen, Troels, Serup, N. G. W., Elsman, Martin, Henglein, Fritz & Oancea, Cosmin Eugen, 2017, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery, s. 556-571 16 s.

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

  19. Udgivet

    Generic Discrimination: Sorting and Partitioning Unshared Data in Linear Time

    Henglein, Fritz, 2008, ICFP 08: Proceedings of the 2008 SIGPLAN International Conference  on Functional Programming, Victoria, British Columbia, Canada, September 22-24, 2008. Association for Computing Machinery, s. 91-102

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

  20. Udgivet

    Generic Discrimination: Partitioning and Sorting of Complex Data in Linear Time

    Henglein, Fritz, 2006, Datalogisk Institut, Københavns Universitet. 1 s.

    Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

  21. Udgivet

    Generic multiset programming for language-integrated querying

    Henglein, Fritz & Larsen, Ken Friis, 2010, Proceedings of the 6th ACM SIGPLAN workshop on Generic programming. Association for Computing Machinery, s. 49-59 11 s.

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

  22. Udgivet

    Generic multiset programming with discrimination-based joins and symbolic Cartesian products

    Henglein, Fritz & Larsen, Ken Friis, 2010, I: Higher-Order and Symbolic Computation. 23, 3, s. 337-370 34 s.

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

  23. Udgivet

    Generic top-down discrimination for sorting and partitioning in linear time

    Henglein, Fritz, 2012, I: Journal of Functional Programming. 22, 3 , s. 300-374 75 s.

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

  24. Udgivet

    Global Tagging Optimization by Type Inference

    Henglein, Fritz, 1992, Proc. 1992 ACM Conf. on LISP and Functional Programming (LFP), San Francisco, California. Association for Computing Machinery

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

  25. Udgivet

    Infinitary axiomatization of the equational theory of context-free languages

    Grathwohl, N. B. B., Henglein, Fritz & Dexter, K., 2013, Proceedings of the Workshop on Fixed Points in Computer Science 2013. Baelde, D. & Carayol, A. (red.). s. 44-55 12 s. (Electronic Proceedings in Theoretical Computer Science, Bind 126).

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

Forrige 1 2 3 4 Næste

ID: 7193