Research staff – University of Copenhagen

Fritz Henglein

Fritz Henglein

Professor

Member of:

  • The APL Section


  1. 2017
  2. Published

    Automated execution of financial contracts on blockchains. / Egelund-Müller, Benjamin; Elsman, Martin; Henglein, Fritz; Ross, Omry.

    In: Business and Information Systems Engineering, Vol. 59, No. 6, 12.2017, p. 457-467.

    Research output: Contribution to journalJournal articleResearchpeer-review

  3. Published

    Infinitary axiomatization of the equational theory of context-free languages. / Grathwohl, Niels Bjørn Bugge; Henglein, Fritz; Kozen, Dexter.

    In: Fundamenta Informaticae, Vol. 150, No. 3-4, 2017, p. 241-257.

    Research output: Contribution to journalJournal articleResearchpeer-review

  4. Published

    PEG parsing in less space using progressive tabling and dynamic analysis. / Henglein, Fritz; Rasmussen, Ulrik Terp.

    Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, 2017. p. 35-46.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  5. Published

    Futhark : purely functional GPU-programming with nested parallelism and in-place array updates. / Henriksen, Troels; Serup, Niels G. W.; Elsman, Martin; Henglein, Fritz; Oancea, Cosmin Eugen.

    Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery, 2017. p. 556-571.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  6. Published

    Automatic Incrementalization of Functional Reports. / Larsen, Ken Friis; Henglein, Fritz.

    2017. Abstract from IC 2017 First Workshop on Incremental Computing
    , Barcelona, Spain.

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

  7. 2016
  8. Published

    FinPar : a parallel financial benchmark. / Andreetta, Christian; Begot, Vivien; Berthold, Jost; Elsman, Martin; Henglein, Fritz; Henriksen, Troels; Nordfang, Maj-Britt; Oancea, Cosmin Eugen.

    In: ACM Transactions on Architecture and Code Optimization (TACO), Vol. 13, No. 2, 18, 2016, p. 1.

    Research output: Contribution to journalJournal articleResearchpeer-review

  9. Published

    Relational algebra by way of adjunctions. / Gibbons, Jeremy; Henglein, Fritz; Hinze, Ralf; Wu, Nicolas.

    2016. Abstract from 15th International Symposium on Database Programming Languages, Pittsburgh, United States.

    Research output: Contribution to conferenceConference abstract for conferenceResearch

  10. Published

    Kleenex : compiling nondeterministic transducers to deterministic streaming transducers. / Grathwohl, Niels Bjørn Bugge; Henglein, Fritz; Rasmussen, Ulrik Terp; Søholm, Kristoffer Aalund; Torholm, Sebastian Paaske.

    Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery, 2016. p. 284-297.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  11. Published

    2016 POPL impressions. / Henglein, Fritz.

    In: SIGLOG News, Vol. 3, No. 2, 2016, p. 79-81.

    Research output: Contribution to journalComment/debateResearch

  12. Published

    Modal intersection types, two-level languages, and staged synthesis. / Henglein, Fritz; Rehof, Jakob.

    Semantics, logics, and calculi: essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays. ed. / Chistian W. Probst; Chris Hankin; René Rydhof Hansen. Springer, 2016. p. 289-312.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Previous 1 2 3 4 5 6 7 8 9 Next

ID: 7193