( en | de | ru )

 

Disambiguation of "Henglein, Fritz"

Author of the publication

copydeleteadd this publication to your clipboard
Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time

, , and . SAS, volume 983 of Lecture Notes in Computer Science, page 118-135. Springer, (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Berthold Henglein

Ernst Henglein

Kathrin Irmela Henglein

Friedrich Arnim Henglein

Friedrich Martin Henglein

 

Other publications of authors with the same name

Combinatory Adjoints and Differentiation., , , , and . MSFP@ETAPS, volume 360 of EPTCS, page 1-26. (2022)Regular expression containment: coinductive axiomatization and computational interpretation., and . POPL, page 385-398. ACM, (2011)Generic discrimination: sorting and paritioning unshared data in linear time.. ICFP, page 91-102. ACM, (2008)A Direct Approach to Control-Flow Sensitive Region-Based Memory Management., , and . PPDP, page 175-186. ACM, (2001)Rock'n'Roll Computer Science.. Logic and Program Semantics, volume 7230 of Lecture Notes in Computer Science, page 354-355. Springer, (2012)Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time, , and . SAS, volume 983 of Lecture Notes in Computer Science, page 118-135. Springer, (1995)Fast Left-Linear Semi-Unification.. ICCI, volume 468 of Lecture Notes in Computer Science, page 82-91. Springer, (1990)Polymorphic Binding-Time Analysis., and . ESOP, volume 788 of Lecture Notes in Computer Science, page 287-301. Springer, (1994)Contract-Backed Digital Cash., , , , and . CoRR, (2022)PEG parsing in less space using progressive tabling and dynamic analysis., and . PEPM, page 35-46. ACM, (2017)