Mechanical Translation of Set Theoretic Problem Specifications into Efficient RAM Code-A Case Study. - Robert Paige; Fritz Henglein (J. Symb. Comput., 1987)

Type Inference and Semi-Unification. - Fritz Henglein (LISP and Functional Programming, 1988)

Fast Left-Linear Semi-Unification. - Fritz Henglein (ICCI, 1990)

Efficient Type Inference for Higher-Order Binding-Time Analysis. - Fritz Henglein (FPCA, 1991)

A Decidable Case of the Semi-Unification Problem. - Hans Leiß; Fritz Henglein (MFCS, 1991)

Dynamic Typing. - Fritz Henglein (ESOP, 1992)

Global Tagging Optimization by Type Inference. - Fritz Henglein (LISP and Functional Programming, 1992)

Type Inference with Polymorphic Recursion. - Fritz Henglein (ACM Trans. Program. Lang. Syst., 1993)

Polymorphic Binding-Time Analysis. - Fritz Henglein; Christian Mossin (ESOP, 1994)

Formally Optimal Boxing. - Fritz Henglein; Jesper Jørgensen (POPL, 1994)

Iterative Fixed Point Computation for Type-Based Strictness Analysis. - Fritz Henglein (SAS, 1994)

The Complexity of Type Inference for Higher-Order Typed lambda Calculi. - Fritz Henglein; Harry G. Mairson (J. Funct. Program., 1994)

Dynamic Typing: Syntax and Proof Theory. - Fritz Henglein (Sci. Comput. Program., 1994)

Safe Polymorphic Type Inference for Scheme: Translating Scheme to ML. - Fritz Henglein; Jakob Rehof (FPCA, 1995)

A Semantic Model of Binding Times for Safe Partial Evaluation - Fritz Henglein; David Sands 001 (PLILP, 1995)

Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time - Dirk Dussart; Fritz Henglein; Christian Mossin (SAS, 1995)

The Complexity of Subtype Entailment for Simple Types. - Fritz Henglein; Jakob Rehof (LICS, 1997)

Constraint Automata and the Complexity of Recursive Subtype Entailment. - Fritz Henglein; Jakob Rehof (ICALP, 1998)

Coinductive Axiomatization of Recursive Type Equality and Subtyping. - Michael Brandt; Fritz Henglein (Fundam. Informaticae, 1998)

SIGPLAN and the World Series. - Fritz Henglein (ACM SIGPLAN Notices, 1998)

AnnoDomini: From Type Theory to Year 2000 Conversion Tool. - Peter Harry Eidorff; Fritz Henglein; Christian Mossin; Henning Niss; Morten Heine Sørensen; Mads Tofte (POPL, 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 (TLCA, 1999)

Breaking Through the n3 Barrier: Faster Object Type Inference. - Fritz Henglein (Theory Pract. Object Syst., 1999)

A Direct Approach to Control-Flow Sensitive Region-Based Memory Management. - Fritz Henglein; Henning Makholm; Henning Niss (PPDP, 2001)

Editorial: Special Issue Dedicated to Bob Paige. - Olivier Danvy; Fritz Henglein; Harry G. Mairson; Alberto Pettorossi (High. Order Symb. Comput., 2003)

Editorial. - Olivier Danvy; Fritz Henglein; Harry G. Mairson; Alberto Pettorossi (High. Order Symb. Comput., 2005)

Compositional specification of commercial contracts. - Jesper Andersen; Ebbe Elsborg; Fritz Henglein; Jakob Grue Simonsen; Christian Stefansen (Int. J. Softw. Tools Technol. Transf., 2006)

Generic discrimination: sorting and paritioning unshared data in linear time. - Fritz Henglein (ICFP, 2008)

What is a Sorting Function? - Fritz Henglein (J. Log. Algebraic Methods Program., 2009)

POETS: Process-oriented event-driven transaction systems. - Fritz Henglein; Ken Friis Larsen; Jakob Grue Simonsen; Christian Stefansen (J. Log. Algebraic Methods Program., 2009)

Generic multiset programming for language-integrated querying. - Fritz Henglein; Ken Friis Larsen (ICFP-WGP, 2010)

Optimizing relational algebra operations using generic equivalence discriminators and lazy products. - Fritz Henglein (PEPM, 2010)

A standard-driven implementaion of WS-BPEL 2.0. - Tim Hallwyl; Fritz Henglein; Thomas T. Hildebrandt (SAC, 2010)

Large-scale sound and precise program analysis: technical persepctive. - Fritz Henglein (Commun. ACM, 2010)

Generic multiset programming with discrimination-based joins and symbolic Cartesian products. - Fritz Henglein; Ken Friis Larsen (High. Order Symb. Comput., 2010)

Bit-coded Regular Expression Parsing. - Lasse Nielsen; Fritz Henglein (LATA, 2011)

Dynamic Symbolic Computation for Domain-Specific Language Implementation. - Fritz Henglein (LOPSTR, 2011)

Regular expression containment: coinductive axiomatization and computational interpretation. - Fritz Henglein; Lasse Nielsen (POPL, 2011)

Functional High Performance Financial IT. - Jost Berthold; Andrzej Filinski; Fritz Henglein; Ken Friis Larsen; Mogens Steffensen; Brian Vinter (Trends in Functional Programming, 2011)

Rock'n'Roll Computer Science. - Fritz Henglein (Logic and Program Semantics, 2012)

Trustworthy Pervasive Healthcare Services via Multiparty Session Types. - Anders Starcke Henriksen; Lasse Nielsen; Thomas T. Hildebrandt; Nobuko Yoshida; Fritz Henglein (FHIES, 2012)

Financial software on GPUs: between Haskell and Fortran. - Cosmin E. Oancea; Christian Andreetta; Jost Berthold; Alain Frisch; Fritz Henglein (FHPC@ICFP, 2012)

Clone detection using rolling hashing, suffix trees and dagification: A case study. - Mikkel Jonsson Thomsen; Fritz Henglein (IWSC, 2012)

Generic top-down discrimination for sorting and partitioning in linear time. - Fritz Henglein (J. Funct. Program., 2012)

Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries. - Fritz Henglein; Ralf Hinze (APLAS, 2013)

Two-Pass Greedy Regular Expression Parsing. - Niels Bjørn Bugge Grathwohl; Fritz Henglein; Lasse Nielsen; Ulrik Terp Rasmussen (CIAA, 2013)

Optimally Streaming Greedy Regular Expression Parsing. - Niels Bjørn Bugge Grathwohl; Fritz Henglein; Ulrik Terp Rasmussen (ICTAC, 2014)

Domain-Specific Languages for Enterprise Systems. - Jesper Andersen; Patrick Bahr; Fritz Henglein; Tom Hvitved (ISoLA (1), 2014)

Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271). - Fritz Henglein; Ranjit Jhala; Shriram Krishnamurthi; Peter Thiemann 001 (Dagstuhl Reports, 2014)

Modal Intersection Types, Two-Level Languages, and Staged Synthesis. - Fritz Henglein; Jakob Rehof (Semantics, Logics, and Calculi, 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 (POPL, 2016)

2016 POPL impressions. - Fritz Henglein (ACM SIGLOG News, 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)

PEG parsing in less space using progressive tabling and dynamic analysis. - Fritz Henglein; Ulrik Terp Rasmussen (PEPM, 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 (PLDI, 2017)

Automated Execution of Financial Contracts on Blockchains. - Benjamin Egelund-Müller; Martin Elsman; Fritz Henglein; Omri Ross (Bus. Inf. Syst. Eng., 2017)

Infinitary Axiomatization of the Equational Theory of Context-Free Languages. - Niels Bjørn Bugge Grathwohl; Fritz Henglein; Dexter Kozen (Fundam. Informaticae, 2017)

Editorial for the Special Issue on Parallel and Concurrent Functional Programming. - Gabriele Keller; Fritz Henglein (J. Funct. Program., 2018)

Relational algebra by way of adjunctions. - Jeremy Gibbons; Fritz Henglein; Ralf Hinze; Nicolas Wu (Proc. ACM Program. Lang., 2018)

A Formally Verified Static Analysis Framework for Compositional Contracts. - Fritz Henglein; Christian Kjær Larsen; Agata Murawska (Financial Cryptography Workshops, 2020)

Algeo: An Algebraic Approach to Reversibility. - Fritz Henglein; Robin Kaarsgaard; Mikkel Kragh Mathiesen (RC, 2022)

Combinatory Adjoints and Differentiation. - Martin Elsman; Fritz Henglein; Robin Kaarsgaard; Mikkel Kragh Mathiesen; Robert Schenck 001 (MSFP@ETAPS, 2022)

The Programming of Algebra. - Fritz Henglein; Robin Kaarsgaard; Mikkel Kragh Mathiesen (MSFP@ETAPS, 2022)

Contract-Backed Digital Cash. - Søren Debois; Fritz Henglein; Morten C. Nielsen; Christian Olesen; Gert Sylvest (CoRR, 2022)

Building blocks of sharding blockchain systems: Concepts, approaches, and open problems. - Yizhong Liu; Jianwei Liu 001; Marcos Antonio Vaz Salles; Zongyang Zhang; Tong Li 018; Bin Hu 001; Fritz Henglein; Rongxing Lu (Comput. Sci. Rev., 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)

Trading Green bonds using Distributed Ledger Technology. - Henrik Axelsen; Ulrik Terp Rasmussen; Johannes Rude Jensen; Omri Ross; Fritz Henglein (ECIS, 2023)

In memoriam Neil Deaton Jones. - Fritz Henglein (PEPM, 2024)

Finitary Relational Calculus. - Fritz Henglein; Mikkel Kragh Mathiesen; Mads Rehof (DBPL, 2025)