| Type inference with polymorphic recursion F Henglein ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (2), 253-289, 1993 | 345 | 1993 |
| Dynamic typing: Syntax and proof theory F Henglein Science of Computer Programming 22 (3), 197-230, 1994 | 248* | 1994 |
| Efficient type inference for higher-order binding-time analysis F Henglein Functional Programming Languages and Computer Architecture: 5th ACM …, 1991 | 186 | 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 | 159 | 2017 |
| Coinductive axiomatization of recursive type equality and subtyping M Brandt, F Henglein Fundamenta Informaticae 33 (4), 309-338, 1998 | 140 | 1998 |
| Automated execution of financial contracts on blockchains B Egelund-Müller, M Elsman, F Henglein, O Ross Business & Information Systems Engineering 59, 457-467, 2017 | 115 | 2017 |
| Global tagging optimization by type inference F Henglein ACM SIGPLAN Lisp Pointers, 205-215, 1992 | 113 | 1992 |
| Polymorphic binding-time analysis F Henglein, C Mossin ESOP 94, 287-301, 1994 | 91 | 1994 |
| Coinductive axiomatization of recursive type equality and subtyping M Brandt, F Henglein Typed Lambda Calculi and Applications: Third International Conference on …, 1997 | 89 | 1997 |
| Polymorphic recursion and subtype qualifications: Polymorphic binding-time analysis in polynomial time D Dussart, F Henglein, C Mossin SAS 95, 118-135, 1995 | 83 | 1995 |
| Formally optimal boxing F Henglein, J Jørgensen Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994 | 83 | 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 | 81 | 2001 |
| The complexity of type inference for higher-order lambda calculi F Henglein, HG Mairson Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of …, 1991 | 78 | 1991 |
| 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 | 71 | 1999 |
| Type inference and semi-unification F Henglein Proceedings of the 1988 ACM conference on LISP and functional programming …, 1988 | 66 | 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 | 65 | 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 |
| Compositional specification of commercial contracts J Andersen, E Elsborg, F Henglein, JG Simonsen, C Stefansen International Journal on Software Tools for Technology Transfer 8, 485-516, 2006 | 58 | 2006 |
| 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 | 54 | 1987 |
| Constraint automata and the complexity of recursive subtype entailment F Henglein, J Rehof Automata, Languages and Programming: 25th International Colloquium, ICALP'98 …, 1998 | 45 | 1998 |
