Concepedia

Fritz Henglein

FH

33

Publications

1.6K

Citations

20

H-Index

1987

Active since

Affiliations

University of Copenhagen(Current)

IT University of Copenhagen

Courant Institute of Mathematical Sciences

Brandeis University

Fritz Henglein is an author at University of Copenhagen specializing in engineering, formal methods, and computer science.

ORCID

Top concepts

Publications per year

1987–2022

33

Publications

33

Type inference with polymorphic recursion

Fritz Henglein · ACM Transactions on Programming Languages and Systems · 1993 · 225 citations · Full text

Dynamic typing: syntax and proof theory

Fritz Henglein · Science of Computer Programming · 1994 · 155 citations

, , +6

Coinductive Axiomatization of Recursive Type Equality and Subtyping

M. Brandt, Fritz Henglein · Fundamenta Informaticae · 1998 · 118 citations

, , +11

Automated Execution of Financial Contracts on Blockchains

Benjamin Egelund-Müller, Martin Elsman, Fritz Henglein et al. · Business & Information Systems Engineering · 2017 · 118 citations

, , +9

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

Yizhong Liu, Jianwei Liu, Marcos António Vaz Salles et al. · Computer Science Review · 2022 · 112 citations

, , +3

Rows per page

1–5 of 33