Fritz Henglein

According to our database, Fritz Henglein authored at least 68 papers between 1987 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

In memoriam Neil Deaton Jones.

Fritz Henglein

Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2024

2023

Trading Green bonds using Distributed Ledger Technology.

Henrik Axelsen, Ulrik Terp Rasmussen, Johannes Rude Jensen, Omri Ross, Fritz Henglein

Proceedings of the 31st European Conference on Information Systems, 2023

2022

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

Simon L. Bager, Boris Düdder, Fritz Henglein, Juan Manuel Hébert, Haiqin Wu

Frontiers Blockchain, 2022

Building blocks of sharding blockchain systems: Concepts, approaches, and open problems.

Yizhong Liu, Jianwei Liu, Marcos Antonio Vaz Salles, Zongyang Zhang, Tong Li, Bin Hu, Fritz Henglein, Rongxing Lu

Comput. Sci. Rev., 2022

Contract-Backed Digital Cash.

Søren Debois, Fritz Henglein, Morten C. Nielsen, Christian Olesen, Gert Sylvest

CoRR, 2022

The Programming of Algebra.

Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen

Proceedings of the Proceedings Ninth Workshop on Mathematically Structured Functional Programming, 2022

Combinatory Adjoints and Differentiation.

Martin Elsman, Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen, Robert Schenck

Proceedings of the Proceedings Ninth Workshop on Mathematically Structured Functional Programming, 2022

Algeo: An Algebraic Approach to Reversibility.

Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen

Proceedings of the Reversible Computation - 14th International Conference, 2022

2020

A Formally Verified Static Analysis Framework for Compositional Contracts.

Fritz Henglein, Christian Kjær Larsen, Agata Murawska

Proceedings of the Financial Cryptography and Data Security, 2020

2018

Relational algebra by way of adjunctions.

Jeremy Gibbons, Fritz Henglein, Ralf Hinze, Nicolas Wu

Proc. ACM Program. Lang., 2018

Editorial for the Special Issue on Parallel and Concurrent Functional Programming.

Gabriele Keller, Fritz Henglein

J. Funct. Program., 2018

2017

Infinitary Axiomatization of the Equational Theory of Context-Free Languages.

Niels Bjørn Bugge Grathwohl, Fritz Henglein, Dexter Kozen

Fundam. Informaticae, 2017

Automated Execution of Financial Contracts on Blockchains.

Benjamin Egelund-Müller, Martin Elsman, Fritz Henglein, Omri Ross

Bus. Inf. Syst. Eng., 2017

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

Troels Henriksen, Niels G. W. Serup, Martin Elsman, Fritz Henglein, Cosmin E. Oancea

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

PEG parsing in less space using progressive tabling and dynamic analysis.

Fritz Henglein, Ulrik Terp Rasmussen

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2017

2016

FinPar: A Parallel Financial Benchmark.

Christian Andreetta, Vivien Bégot, Jost Berthold, Martin Elsman, Fritz Henglein, Troels Henriksen, Maj-Britt Nordfang, Cosmin E. Oancea

ACM Trans. Archit. Code Optim., 2016

2016 POPL impressions.

Fritz Henglein

ACM SIGLOG News, 2016

Kleenex: compiling nondeterministic transducers to deterministic streaming transducers.

Niels Bjørn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen, Kristoffer Aalund Søholm, Sebastian Paaske Tørholm

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Modal Intersection Types, Two-Level Languages, and Staged Synthesis.

Fritz Henglein, Jakob Rehof

Proceedings of the Semantics, Logics, and Calculi, 2016

2014

Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271).

Fritz Henglein, Ranjit Jhala, Shriram Krishnamurthi, Peter Thiemann

Dagstuhl Reports, 2014

Domain-Specific Languages for Enterprise Systems.

Jesper Andersen, Patrick Bahr, Fritz Henglein, Tom Hvitved

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Optimally Streaming Greedy Regular Expression Parsing.

Niels Bjørn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013

Two-Pass Greedy Regular Expression Parsing.

Niels Bjørn Bugge Grathwohl, Fritz Henglein, Lasse Nielsen, Ulrik Terp Rasmussen

Proceedings of the Implementation and Application of Automata, 2013

Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries.

Fritz Henglein, Ralf Hinze

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

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

Fritz Henglein

J. Funct. Program., 2012

Clone detection using rolling hashing, suffix trees and dagification: A case study.

Mikkel Jonsson Thomsen, Fritz Henglein

Proceedings of the Proceeding of the 6th International Workshop on Software Clones, 2012

Financial software on GPUs: between Haskell and Fortran.

Cosmin E. Oancea, Christian Andreetta, Jost Berthold, Alain Frisch, Fritz Henglein

Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing, 2012

Trustworthy Pervasive Healthcare Services via Multiparty Session Types.

Anders Starcke Henriksen, Lasse Nielsen, Thomas T. Hildebrandt, Nobuko Yoshida, Fritz Henglein

Proceedings of the Foundations of Health Information Engineering and Systems, 2012

Rock'n'Roll Computer Science.

Fritz Henglein

Proceedings of the Logic and Program Semantics, 2012

2011

Functional High Performance Financial IT.

Jost Berthold, Andrzej Filinski, Fritz Henglein, Ken Friis Larsen, Mogens Steffensen, Brian Vinter

Proceedings of the Trends in Functional Programming, 12th International Symposium, 2011

Regular expression containment: coinductive axiomatization and computational interpretation.

Fritz Henglein, Lasse Nielsen

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Dynamic Symbolic Computation for Domain-Specific Language Implementation.

Fritz Henglein

Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

Bit-coded Regular Expression Parsing.

Lasse Nielsen, Fritz Henglein

Proceedings of the Language and Automata Theory and Applications, 2011

2010

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

Fritz Henglein, Ken Friis Larsen

High. Order Symb. Comput., 2010

Large-scale sound and precise program analysis: technical persepctive.

Fritz Henglein

Commun. ACM, 2010

A standard-driven implementaion of WS-BPEL 2.0.

Tim Hallwyl, Fritz Henglein, Thomas T. Hildebrandt

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Optimizing relational algebra operations using generic equivalence discriminators and lazy products.

Fritz Henglein

Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

Generic multiset programming for language-integrated querying.

Fritz Henglein, Ken Friis Larsen

Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2010

2009

POETS: Process-oriented event-driven transaction systems.

Fritz Henglein, Ken Friis Larsen, Jakob Grue Simonsen, Christian Stefansen

J. Log. Algebraic Methods Program., 2009

What is a Sorting Function?

Fritz Henglein

J. Log. Algebraic Methods Program., 2009

2008

Generic discrimination: sorting and paritioning unshared data in linear time.

Fritz Henglein

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2006

Compositional specification of commercial contracts.

Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen

Int. J. Softw. Tools Technol. Transf., 2006

2005

Editorial.

Olivier Danvy, Fritz Henglein, Harry G. Mairson, Alberto Pettorossi

High. Order Symb. Comput., 2005

2003

Editorial: Special Issue Dedicated to Bob Paige.

Olivier Danvy, Fritz Henglein, Harry G. Mairson, Alberto Pettorossi

High. Order Symb. Comput., 2003

2001

A Direct Approach to Control-Flow Sensitive Region-Based Memory Management.

Fritz Henglein, Henning Makholm, Henning Niss

Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

1999

Breaking Through the n³ Barrier: Faster Object Type Inference.

Fritz Henglein

Theory Pract. Object Syst., 1999

AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem.

Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte

Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999

AnnoDomini: From Type Theory to Year 2000 Conversion Tool.

Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte

Proceedings of the POPL '99, 1999

1998

SIGPLAN and the World Series.

Fritz Henglein

ACM SIGPLAN Notices, 1998

Coinductive Axiomatization of Recursive Type Equality and Subtyping.

Michael Brandt, Fritz Henglein

Fundam. Informaticae, 1998

Constraint Automata and the Complexity of Recursive Subtype Entailment.

Fritz Henglein, Jakob Rehof

Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

1997

The Complexity of Subtype Entailment for Simple Types.

Fritz Henglein, Jakob Rehof

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

1995

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

Dirk Dussart, Fritz Henglein, Christian Mossin

Proceedings of the Static Analysis, 1995

A Semantic Model of Binding Times for Safe Partial Evaluation

Fritz Henglein, David Sands

Proceedings of the Programming Languages: Implementations, 1995

Safe Polymorphic Type Inference for Scheme: Translating Scheme to ML.

Fritz Henglein, Jakob Rehof

Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

1994

Dynamic Typing: Syntax and Proof Theory.

Fritz Henglein

Sci. Comput. Program., 1994

The Complexity of Type Inference for Higher-Order Typed lambda Calculi.

Fritz Henglein, Harry G. Mairson

J. Funct. Program., 1994

Iterative Fixed Point Computation for Type-Based Strictness Analysis.

Fritz Henglein

Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

Formally Optimal Boxing.

Fritz Henglein, Jesper Jørgensen

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

Polymorphic Binding-Time Analysis.

Fritz Henglein, Christian Mossin

Proceedings of the Programming Languages and Systems, 1994

1993

Type Inference with Polymorphic Recursion.

Fritz Henglein

ACM Trans. Program. Lang. Syst., 1993

1992

Global Tagging Optimization by Type Inference.

Fritz Henglein

Proceedings of the Conference on Lisp and Functional Programming, 1992

Dynamic Typing.

Fritz Henglein

Proceedings of the ESOP '92, 1992

1991

A Decidable Case of the Semi-Unification Problem.

Hans Leiß, Fritz Henglein

Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

Efficient Type Inference for Higher-Order Binding-Time Analysis.

Fritz Henglein

Proceedings of the Functional Programming Languages and Computer Architecture, 1991

1990

Fast Left-Linear Semi-Unification.

Fritz Henglein

Proceedings of the Advances in Computing and Information, 1990

1988

Type Inference and Semi-Unification.

Fritz Henglein

Proceedings of the 1988 ACM Conference on LISP and Functional Programming, 1988

1987

Mechanical Translation of Set Theoretic Problem Specifications into Efficient RAM Code-A Case Study.

Robert Paige, Fritz Henglein

J. Symb. Comput., 1987