![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Fritz Henglein
Person information
- affiliation: University of Copenhagen, Denmark
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c48]Fritz Henglein:
In memoriam Neil Deaton Jones. PEPM 2024: 14-15 - 2023
- [c47]Henrik Axelsen, Ulrik Terp Rasmussen, Johannes Rude Jensen, Omri Ross, Fritz Henglein:
Trading Green bonds using Distributed Ledger Technology. ECIS 2023 - [i4]Henrik Axelsen, Ulrik Terp Rasmussen, Johannes Rude Jensen, Omri Ross, Fritz Henglein:
Trading green bonds using distributed ledger technology. CoRR abs/2304.08154 (2023) - 2022
- [j23]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: 100513 (2022) - [j22]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: 846783 (2022) - [c46]Fritz Henglein, Robin Kaarsgaard
, Mikkel Kragh Mathiesen
:
Algeo: An Algebraic Approach to Reversibility. RC 2022: 128-145 - [c45]Martin Elsman
, Fritz Henglein, Robin Kaarsgaard
, Mikkel Kragh Mathiesen
, Robert Schenck:
Combinatory Adjoints and Differentiation. MSFP@ETAPS 2022: 1-26 - [c44]Fritz Henglein, Robin Kaarsgaard
, Mikkel Kragh Mathiesen
:
The Programming of Algebra. MSFP@ETAPS 2022: 71-92 - [i3]Søren Debois, Fritz Henglein, Morten C. Nielsen, Christian Olesen, Gert Sylvest:
Contract-Backed Digital Cash. CoRR abs/2211.14442 (2022) - 2021
- [e4]Fritz Henglein, Sharon Shoham, Yakir Vizel:
Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings. Lecture Notes in Computer Science 12597, Springer 2021, ISBN 978-3-030-67066-5 [contents] - [i2]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 abs/2102.13364 (2021) - 2020
- [c43]Fritz Henglein, Christian Kjær Larsen, Agata Murawska:
A Formally Verified Static Analysis Framework for Compositional Contracts. Financial Cryptography Workshops 2020: 599-619
2010 – 2019
- 2018
- [j21]Gabriele Keller, Fritz Henglein:
Editorial for the Special Issue on Parallel and Concurrent Functional Programming. J. Funct. Program. 28: e6 (2018) - [j20]Jeremy Gibbons, Fritz Henglein, Ralf Hinze, Nicolas Wu
:
Relational algebra by way of adjunctions. Proc. ACM Program. Lang. 2(ICFP): 86:1-86:28 (2018) - [e3]Fritz Henglein, Hsiang-Shang Ko:
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Los Angeles, CA, USA, January 8-9, 2018. ACM 2018, ISBN 978-1-4503-5587-2 [contents] - 2017
- [j19]Benjamin Egelund-Müller, Martin Elsman
, Fritz Henglein, Omri Ross:
Automated Execution of Financial Contracts on Blockchains. Bus. Inf. Syst. Eng. 59(6): 457-467 (2017) - [j18]Niels Bjørn Bugge Grathwohl, Fritz Henglein, Dexter Kozen:
Infinitary Axiomatization of the Equational Theory of Context-Free Languages. Fundam. Informaticae 150(3-4): 241-257 (2017) - [c42]Fritz Henglein, Ulrik Terp Rasmussen:
PEG parsing in less space using progressive tabling and dynamic analysis. PEPM 2017: 35-46 - [c41]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: 556-571 - 2016
- [j17]Fritz Henglein:
2016 POPL impressions. ACM SIGLOG News 3(2): 79-81 (2016) - [j16]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): 18:1-18:27 (2016) - [c40]Fritz Henglein, Jakob Rehof:
Modal Intersection Types, Two-Level Languages, and Staged Synthesis. Semantics, Logics, and Calculi 2016: 289-312 - [c39]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: 284-297 - 2014
- [c38]Niels Bjørn Bugge Grathwohl
, Fritz Henglein, Ulrik Terp Rasmussen:
Optimally Streaming Greedy Regular Expression Parsing. ICTAC 2014: 224-240 - [c37]Jesper Andersen, Patrick Bahr
, Fritz Henglein, Tom Hvitved:
Domain-Specific Languages for Enterprise Systems. ISoLA (1) 2014: 73-95 - [i1]Fritz Henglein, Ranjit Jhala, Shriram Krishnamurthi, Peter Thiemann:
Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271). Dagstuhl Reports 4(6): 84-107 (2014) - 2013
- [c36]Fritz Henglein, Ralf Hinze:
Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries. APLAS 2013: 315-332 - [c35]Niels Bjørn Bugge Grathwohl
, Fritz Henglein, Lasse Nielsen, Ulrik Terp Rasmussen:
Two-Pass Greedy Regular Expression Parsing. CIAA 2013: 60-71 - [c34]Niels Bjørn Bugge Grathwohl
, Fritz Henglein, Dexter Kozen:
Infinitary Axiomatization of the Equational Theory of Context-Free Languages. FICS 2013: 44-55 - [e2]Clemens Grelck, Fritz Henglein, Umut A. Acar, Jost Berthold:
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, Boston, MA, USA, FHPC@ICFP 2013, September 25-27, 2013. ACM 2013, ISBN 978-1-4503-2381-9 [contents] - 2012
- [j15]Fritz Henglein:
Generic top-down discrimination for sorting and partitioning in linear time. J. Funct. Program. 22(3): 300-374 (2012) - [c33]Fritz Henglein:
Rock'n'Roll Computer Science. Logic and Program Semantics 2012: 354-355 - [c32]Anders Starcke Henriksen, Lasse Nielsen, Thomas T. Hildebrandt, Nobuko Yoshida
, Fritz Henglein:
Trustworthy Pervasive Healthcare Services via Multiparty Session Types. FHIES 2012: 124-141 - [c31]Cosmin E. Oancea
, Christian Andreetta, Jost Berthold, Alain Frisch, Fritz Henglein:
Financial software on GPUs: between Haskell and Fortran. FHPC@ICFP 2012: 61-72 - [c30]Mikkel Jonsson Thomsen, Fritz Henglein:
Clone detection using rolling hashing, suffix trees and dagification: A case study. IWSC 2012: 22-28 - 2011
- [c29]Lasse Nielsen, Fritz Henglein:
Bit-coded Regular Expression Parsing. LATA 2011: 402-413 - [c28]Fritz Henglein:
Dynamic Symbolic Computation for Domain-Specific Language Implementation. LOPSTR 2011: 4-24 - [c27]Fritz Henglein, Lasse Nielsen:
Regular expression containment: coinductive axiomatization and computational interpretation. POPL 2011: 385-398 - [c26]Jost Berthold, Andrzej Filinski, Fritz Henglein, Ken Friis Larsen, Mogens Steffensen
, Brian Vinter:
Functional High Performance Financial IT. Trends in Functional Programming 2011: 98-113 - 2010
- [j14]Fritz Henglein:
Large-scale sound and precise program analysis: technical persepctive. Commun. ACM 53(8): 114 (2010) - [j13]Fritz Henglein, Ken Friis Larsen
:
Generic multiset programming with discrimination-based joins and symbolic Cartesian products. High. Order Symb. Comput. 23(3): 337-370 (2010) - [c25]Fritz Henglein, Ken Friis Larsen
:
Generic multiset programming for language-integrated querying. ICFP-WGP 2010: 49-60 - [c24]Fritz Henglein:
Optimizing relational algebra operations using generic equivalence discriminators and lazy products. PEPM 2010: 73-82 - [c23]Tim Hallwyl, Fritz Henglein, Thomas T. Hildebrandt:
A standard-driven implementaion of WS-BPEL 2.0. SAC 2010: 2472-2476
2000 – 2009
- 2009
- [j12]Fritz Henglein, Ken Friis Larsen
, Jakob Grue Simonsen, Christian Stefansen:
POETS: Process-oriented event-driven transaction systems. J. Log. Algebraic Methods Program. 78(5): 381-401 (2009) - [j11]Fritz Henglein:
What is a Sorting Function? J. Log. Algebraic Methods Program. 78(7): 552-572 (2009) - 2008
- [c22]Fritz Henglein:
Generic discrimination: sorting and paritioning unshared data in linear time. ICFP 2008: 91-102 - 2006
- [j10]Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen:
Compositional specification of commercial contracts. Int. J. Softw. Tools Technol. Transf. 8(6): 485-516 (2006) - 2005
- [j9]Olivier Danvy
, Fritz Henglein, Harry G. Mairson, Alberto Pettorossi
:
Editorial. High. Order Symb. Comput. 18(1-2): 5-6 (2005) - 2004
- [c21]Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen:
Compositional Specification of Commercial Contracts. ISoLA (Preliminary proceedings) 2004: 103-110 - 2003
- [j8]Olivier Danvy, Fritz Henglein, Harry G. Mairson, Alberto Pettorossi:
Editorial: Special Issue Dedicated to Bob Paige. High. Order Symb. Comput. 16(1-2): 5-6 (2003) - 2001
- [c20]Fritz Henglein, Henning Makholm, Henning Niss:
A Direct Approach to Control-Flow Sensitive Region-Based Memory Management. PPDP 2001: 175-186
1990 – 1999
- 1999
- [j7]Fritz Henglein:
Breaking Through the n3 Barrier: Faster Object Type Inference. Theory Pract. Object Syst. 5(1): 57-72 (1999) - [c19]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: 1-14 - [c18]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: 6-13 - 1998
- [j6]Michael Brandt, Fritz Henglein:
Coinductive Axiomatization of Recursive Type Equality and Subtyping. Fundam. Informaticae 33(4): 309-338 (1998) - [j5]Fritz Henglein:
SIGPLAN and the World Series. ACM SIGPLAN Notices 33(1): 1-2 (1998) - [c17]Fritz Henglein, Jakob Rehof:
Constraint Automata and the Complexity of Recursive Subtype Entailment. ICALP 1998: 616-627 - 1997
- [c16]Fritz Henglein, Jakob Rehof:
The Complexity of Subtype Entailment for Simple Types. LICS 1997: 352-361 - [c15]Michael Brandt, Fritz Henglein:
Coinductive Axiomatization of Recursive Type Equality and Subtyping. TLCA 1997: 63-81 - [e1]Peter Lee, Fritz Henglein, Neil D. Jones:
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. ACM Press 1997, ISBN 0-89791-853-3 [contents] - 1995
- [c14]Fritz Henglein, Jakob Rehof:
Safe Polymorphic Type Inference for Scheme: Translating Scheme to ML. FPCA 1995: 192-203 - [c13]Fritz Henglein, David Sands:
A Semantic Model of Binding Times for Safe Partial Evaluation. PLILP 1995: 299-320 - [c12]Dirk Dussart, Fritz Henglein, Christian Mossin:
Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time. SAS 1995: 118-135 - 1994
- [j4]Fritz Henglein, Harry G. Mairson:
The Complexity of Type Inference for Higher-Order Typed lambda Calculi. J. Funct. Program. 4(4): 435-477 (1994) - [j3]Fritz Henglein:
Dynamic Typing: Syntax and Proof Theory. Sci. Comput. Program. 22(3): 197-230 (1994) - [c11]Fritz Henglein, Christian Mossin:
Polymorphic Binding-Time Analysis. ESOP 1994: 287-301 - [c10]Fritz Henglein, Jesper Jørgensen:
Formally Optimal Boxing. POPL 1994: 213-226 - [c9]Fritz Henglein:
Iterative Fixed Point Computation for Type-Based Strictness Analysis. SAS 1994: 395-407 - 1993
- [j2]Fritz Henglein:
Type Inference with Polymorphic Recursion. ACM Trans. Program. Lang. Syst. 15(2): 253-289 (1993) - 1992
- [c8]Fritz Henglein:
Dynamic Typing. ESOP 1992: 233-253 - [c7]Fritz Henglein:
Global Tagging Optimization by Type Inference. LISP and Functional Programming 1992: 205-215 - 1991
- [c6]Fritz Henglein:
Efficient Type Inference for Higher-Order Binding-Time Analysis. FPCA 1991: 448-472 - [c5]Hans Leiß, Fritz Henglein:
A Decidable Case of the Semi-Unification Problem. MFCS 1991: 318-327 - [c4]Fritz Henglein, Harry G. Mairson:
The Complexity of Type Inference for Higher-Order Typed Lambda Calculi. POPL 1991: 119-130 - 1990
- [c3]Fritz Henglein:
Fast Left-Linear Semi-Unification. ICCI 1990: 82-91
1980 – 1989
- 1988
- [c2]Fritz Henglein:
Type Inference and Semi-Unification. LISP and Functional Programming 1988: 184-197 - 1987
- [j1]Robert Paige, Fritz Henglein:
Mechanical Translation of Set Theoretic Problem Specifications into Efficient RAM Code-A Case Study. J. Symb. Comput. 4(2): 207-232 (1987) - 1985
- [c1]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: 554-567
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-10 01:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint