Fritz Henglein

80 papers A* 9A 3B 5C 11Misc 1Journal 27Unranked 23

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