| Type inference with polymorphic recursion F Henglein ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (2), 253-289, 1993 | 341 | 1993 |
| Dynamic typing: Syntax and proof theory F Henglein Science of Computer Programming 22 (3), 197-230, 1994 | 243* | 1994 |
| Efficient type inference for higher-order binding-time analysis F Henglein Conference on Functional Programming Languages and Computer Architecture …, 1991 | 181 | 1991 |
| Futhark: purely functional GPU-programming with nested parallelism and in-place array updates T Henriksen, NGW Serup, M Elsman, F Henglein, CE Oancea Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017 | 136 | 2017 |
| Coinductive axiomatization of recursive type equality and subtyping M Brandt, F Henglein Fundamenta Informaticae 33 (4), 309-338, 1998 | 134 | 1998 |
| Global tagging optimization by type inference F Henglein ACM SIGPLAN Lisp Pointers, 205-215, 1992 | 113 | 1992 |
| Automated execution of financial contracts on blockchains B Egelund-Müller, M Elsman, F Henglein, O Ross Business & Information Systems Engineering 59 (6), 457-467, 2017 | 105 | 2017 |
| Coinductive axiomatization of recursive type equality and subtyping M Brandt, F Henglein International Conference on Typed Lambda Calculi and Applications, 63-81, 1997 | 91 | 1997 |
| Polymorphic binding-time analysis F Henglein, C Mossin European Symposium on Programming, 287-301, 1994 | 87 | 1994 |
| A direct approach to control-flow sensitive region-based memory management F Henglein, H Makholm, H Niss Proceedings of the 3rd ACM SIGPLAN international conference on Principles …, 2001 | 82 | 2001 |
| Polymorphic recursion and subtype qualifications: Polymorphic binding-time analysis in polynomial time D Dussart, F Henglein, C Mossin International Static Analysis Symposium, 118-135, 1995 | 82 | 1995 |
| The complexity of type inference for higher-order typed lambda calculi F Henglein, HG Mairson Journal of Functional Programming 4 (4), 435-477, 1994 | 79 | 1994 |
| Formally optimal boxing F Henglein, J Jørgensen Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994 | 79 | 1994 |
| Annodomini: From type theory to year 2000 conversion tool PH Eidorff, F Henglein, C Mossin, H Niss, MH Sørensen, M Tofte Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999 | 68 | 1999 |
| Type inference and semi-unification F Henglein Proceedings of the 1988 ACM conference on LISP and functional programming …, 1988 | 65 | 1988 |
| Safe polymorphic type inference for a dynamically typed language: translating Scheme to ML F Henglein, J Rehof Proceedings of the seventh international conference on Functional …, 1995 | 63 | 1995 |
| The complexity of subtype entailment for simple types F Henglein, J Rehof Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997 | 62 | 1997 |
| Mechanical translation of set theoretic problem specifications into efficient ram code-a case study R Paige, F Henglein Journal of Symbolic Computation 4 (2), 207-232, 1987 | 56 | 1987 |
| Compositional specification of commercial contracts J Andersen, E Elsborg, F Henglein, JG Simonsen, C Stefansen International Journal on Software Tools for Technology Transfer 8 (6), 485-516, 2006 | 52 | 2006 |
| Constraint automata and the complexity of recursive subtype entailment F Henglein, J Rehof International Colloquium on Automata, Languages, and Programming, 616-627, 1998 | 45 | 1998 |
