Fritz Henglein

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 21

Top Topics

Relational Algebra

Functional Programming

Static Analysis

Top Venues

Semantics, Logics, and Calculi

Publications

Fritz Henglein
In memoriam Neil Deaton Jones. PEPM (2024)
Henrik Axelsen, Ulrik Terp Rasmussen, Johannes Rude Jensen, Omri Ross, Fritz Henglein
Trading Green bonds using Distributed Ledger Technology. ECIS (2023)
Henrik Axelsen, Ulrik Terp Rasmussen, Johannes Rude Jensen, Omri Ross, Fritz Henglein
Trading green bonds using distributed ledger technology. CoRR (2023)
Martin Elsman, Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen, Robert Schenck
Combinatory Adjoints and Differentiation. MSFP@ETAPS (2022)
Søren Debois, Fritz Henglein, Morten C. Nielsen, Christian Olesen, Gert Sylvest
Contract-Backed Digital Cash. CoRR (2022)
Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen
Algeo: An Algebraic Approach to Reversibility. RC (2022)
Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen
The Programming of Algebra. MSFP@ETAPS (2022)
Simon L. Bager, Boris Düdder, Fritz Henglein, Juan Manuel Hébert, Haiqin Wu
Event-Based Supply Chain Network Modeling: Blockchain for Good Coffee. Frontiers Blockchain 5 (2022)
Yizhong Liu, Jianwei Liu, Marcos Antonio Vaz Salles, Zongyang Zhang, Tong Li, Bin Hu, Fritz Henglein, Rongxing Lu
Building blocks of sharding blockchain systems: Concepts, approaches, and open problems. Comput. Sci. Rev. 46 (2022)
Yizhong Liu, Jianwei Liu, Marcos Antonio Vaz Salles, Zongyang Zhang, Tong Li, Bin Hu, Fritz Henglein, Rongxing Lu
Building Blocks of Sharding Blockchain Systems: Concepts, Approaches, and Open Problems. CoRR (2021)
Fritz Henglein, Christian Kjær Larsen, Agata Murawska
A Formally Verified Static Analysis Framework for Compositional Contracts. Financial Cryptography Workshops (2020)
Gabriele Keller, Fritz Henglein
Editorial for the Special Issue on Parallel and Concurrent Functional Programming. J. Funct. Program. 28 (2018)
Jeremy Gibbons, Fritz Henglein, Ralf Hinze, Nicolas Wu
Relational algebra by way of adjunctions. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Troels Henriksen, Niels G. W. Serup, Martin Elsman, Fritz Henglein, Cosmin E. Oancea
Futhark: purely functional GPU-programming with nested parallelism and in-place array updates. PLDI (2017)
Benjamin Egelund-Müller, Martin Elsman, Fritz Henglein, Omri Ross
Automated Execution of Financial Contracts on Blockchains. Bus. Inf. Syst. Eng. 59 (6) (2017)
Niels Bjørn Bugge Grathwohl, Fritz Henglein, Dexter Kozen
Infinitary Axiomatization of the Equational Theory of Context-Free Languages. Fundam. Informaticae 150 (3-4) (2017)
Fritz Henglein, Ulrik Terp Rasmussen
PEG parsing in less space using progressive tabling and dynamic analysis. PEPM (2017)
Niels Bjørn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen, Kristoffer Aalund Søholm, Sebastian Paaske Tørholm
Kleenex: compiling nondeterministic transducers to deterministic streaming transducers. POPL (2016)
Fritz Henglein
2016 POPL impressions. ACM SIGLOG News 3 (2) (2016)
Christian Andreetta, Vivien Bégot, Jost Berthold, Martin Elsman, Fritz Henglein, Troels Henriksen, Maj-Britt Nordfang, Cosmin E. Oancea
FinPar: A Parallel Financial Benchmark. ACM Trans. Archit. Code Optim. 13 (2) (2016)
Fritz Henglein, Jakob Rehof
Modal Intersection Types, Two-Level Languages, and Staged Synthesis. Semantics, Logics, and Calculi (2016)
Niels Bjørn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen
Optimally Streaming Greedy Regular Expression Parsing. ICTAC (2014)
Fritz Henglein, Ranjit Jhala, Shriram Krishnamurthi, Peter Thiemann
Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271). Dagstuhl Reports 4 (6) (2014)
Jesper Andersen, Patrick Bahr, Fritz Henglein, Tom Hvitved
Domain-Specific Languages for Enterprise Systems. ISoLA (1) (2014)
Fritz Henglein, Ralf Hinze
Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries. APLAS (2013)
Niels Bjørn Bugge Grathwohl, Fritz Henglein, Lasse Nielsen, Ulrik Terp Rasmussen
Two-Pass Greedy Regular Expression Parsing. CIAA (2013)
Niels Bjørn Bugge Grathwohl, Fritz Henglein, Dexter Kozen
Infinitary Axiomatization of the Equational Theory of Context-Free Languages. FICS (2013)
Mikkel Jonsson Thomsen, Fritz Henglein
Clone detection using rolling hashing, suffix trees and dagification: A case study. IWSC (2012)
Anders Starcke Henriksen, Lasse Nielsen, Thomas T. Hildebrandt, Nobuko Yoshida, Fritz Henglein
Trustworthy Pervasive Healthcare Services via Multiparty Session Types. FHIES (2012)
Fritz Henglein
Generic top-down discrimination for sorting and partitioning in linear time. J. Funct. Program. 22 (3) (2012)
Cosmin E. Oancea, Christian Andreetta, Jost Berthold, Alain Frisch, Fritz Henglein
Financial software on GPUs: between Haskell and Fortran. FHPC@ICFP (2012)
Fritz Henglein
Rock'n'Roll Computer Science. Logic and Program Semantics (2012)
Fritz Henglein, Lasse Nielsen
Regular expression containment: coinductive axiomatization and computational interpretation. POPL (2011)
Jost Berthold, Andrzej Filinski, Fritz Henglein, Ken Friis Larsen, Mogens Steffensen, Brian Vinter
Functional High Performance Financial IT. Trends in Functional Programming (2011)
Lasse Nielsen, Fritz Henglein
Bit-coded Regular Expression Parsing. LATA (2011)
Fritz Henglein
Dynamic Symbolic Computation for Domain-Specific Language Implementation. LOPSTR (2011)
Tim Hallwyl, Fritz Henglein, Thomas T. Hildebrandt
A standard-driven implementaion of WS-BPEL 2.0. SAC (2010)
Fritz Henglein, Ken Friis Larsen
Generic multiset programming for language-integrated querying. ICFP-WGP (2010)
Fritz Henglein, Ken Friis Larsen
Generic multiset programming with discrimination-based joins and symbolic Cartesian products. High. Order Symb. Comput. 23 (3) (2010)
Fritz Henglein
Optimizing relational algebra operations using generic equivalence discriminators and lazy products. PEPM (2010)
Fritz Henglein
Large-scale sound and precise program analysis: technical persepctive. Commun. ACM 53 (8) (2010)
Fritz Henglein, Ken Friis Larsen, Jakob Grue Simonsen, Christian Stefansen
POETS: Process-oriented event-driven transaction systems. J. Log. Algebraic Methods Program. 78 (5) (2009)
Fritz Henglein
What is a Sorting Function? J. Log. Algebraic Methods Program. 78 (7) (2009)
Fritz Henglein
Generic discrimination: sorting and paritioning unshared data in linear time. ICFP (2008)
Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen
Compositional specification of commercial contracts. Int. J. Softw. Tools Technol. Transf. 8 (6) (2006)
Olivier Danvy, Fritz Henglein, Harry G. Mairson, Alberto Pettorossi
Editorial. High. Order Symb. Comput. 18 (1-2) (2005)
Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen
Compositional Specification of Commercial Contracts. ISoLA (Preliminary proceedings) (2004)
Olivier Danvy, Fritz Henglein, Harry G. Mairson, Alberto Pettorossi
Editorial: Special Issue Dedicated to Bob Paige. High. Order Symb. Comput. 16 (1-2) (2003)
Fritz Henglein, Henning Makholm, Henning Niss
A Direct Approach to Control-Flow Sensitive Region-Based Memory Management. PPDP (2001)
Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte
AnnoDomini: From Type Theory to Year 2000 Conversion Tool. POPL (1999)
Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte
AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem. TLCA (1999)
Fritz Henglein
Barrier: Faster Object Type Inference. Theory Pract. Object Syst. 5 (1) (1999)
Fritz Henglein, Jakob Rehof
Constraint Automata and the Complexity of Recursive Subtype Entailment. ICALP (1998)
Fritz Henglein
SIGPLAN and the World Series. ACM SIGPLAN Notices 33 (1) (1998)
Michael Brandt, Fritz Henglein
Coinductive Axiomatization of Recursive Type Equality and Subtyping. Fundam. Informaticae 33 (4) (1998)
Fritz Henglein, Jakob Rehof
The Complexity of Subtype Entailment for Simple Types. LICS (1997)
Michael Brandt, Fritz Henglein
Coinductive Axiomatization of Recursive Type Equality and Subtyping. TLCA (1997)
Fritz Henglein, Jakob Rehof
Safe Polymorphic Type Inference for Scheme: Translating Scheme to ML. FPCA (1995)
Dirk Dussart, Fritz Henglein, Christian Mossin
Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time SAS (1995)
Fritz Henglein, David Sands
A Semantic Model of Binding Times for Safe Partial Evaluation PLILP (1995)
Fritz Henglein
Iterative Fixed Point Computation for Type-Based Strictness Analysis. SAS (1994)
Fritz Henglein
Dynamic Typing: Syntax and Proof Theory. Sci. Comput. Program. 22 (3) (1994)
Fritz Henglein, Christian Mossin
Polymorphic Binding-Time Analysis. ESOP (1994)
Fritz Henglein, Jesper Jørgensen
Formally Optimal Boxing. POPL (1994)
Fritz Henglein, Harry G. Mairson
The Complexity of Type Inference for Higher-Order Typed lambda Calculi. J. Funct. Program. 4 (4) (1994)
Fritz Henglein
Type Inference with Polymorphic Recursion. ACM Trans. Program. Lang. Syst. 15 (2) (1993)
Fritz Henglein
Global Tagging Optimization by Type Inference. LISP and Functional Programming (1992)
Fritz Henglein
Dynamic Typing. ESOP (1992)
Fritz Henglein
Efficient Type Inference for Higher-Order Binding-Time Analysis. FPCA (1991)
Hans Leiß, Fritz Henglein
A Decidable Case of the Semi-Unification Problem. MFCS (1991)
Fritz Henglein, Harry G. Mairson
The Complexity of Type Inference for Higher-Order Typed Lambda Calculi. POPL (1991)
Fritz Henglein
Fast Left-Linear Semi-Unification. ICCI (1990)
Fritz Henglein
Type Inference and Semi-Unification. LISP and Functional Programming (1988)
Robert Paige, Fritz Henglein
Mechanical Translation of Set Theoretic Problem Specifications into Efficient RAM Code-A Case Study. J. Symb. Comput. 4 (2) (1987)
Robert Paige, Fritz Henglein
Mechanical Translation of Set Theoretic Problem Specifications into Efficient RAM Code - A Case Study. European Conference on Computer Algebra (2) (1985)