Author of the publication

Database Query Languages Embedded in the Typed Lambda Calculus

, , and . LICS, page 332-343. IEEE Computer Society, (1993)

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.

 

Other publications of authors with the same name

Complexity-Theoretic Aspects for Programming Language Design.. CP, volume 1118 of Lecture Notes in Computer Science, page 572. Springer, (1996)Linear lambda calculus and PTIME-completeness.. J. Funct. Program., 14 (6): 623-633 (2004)Programming language foundations of computation theory.. ACM SIGSOFT Softw. Eng. Notes, 25 (1): 63 (2000)Tools for Datalog Boundedness., , , and . PODS, page 1-12. ACM Press, (1991)Parallel Beta Reduction is not Elementary Recursive., and . POPL, page 303-315. ACM, (1998)Relating complexity and precision in control flow analysis., and . ICFP, page 85-96. ACM, (2007)Correcting Faults in Write-Once Memory, , , and . STOC, page 225-229. ACM, (1984)A Constructive Logic of Multiple Subtyping.. POPL, page 313-324. ACM Press, (1993)Flow Analysis, Linearity, and PTIME., and . SAS, volume 5079 of Lecture Notes in Computer Science, page 255-269. Springer, (2008)Undecidable Optimization Problems for Database Logic Programs, , , and . LICS, page 106-115. IEEE Computer Society, (1987)