Adam Fischbach

	2003
3		Adam Fischbach, John Hannan: Specification and correctness of lambda lifting. J. Funct. Program. 13(3): 509-543 (2003)
	2001
2		Adam Fischbach, John Hannan: Type Systems for Useless-Variable Elimination. PADO 2001: 25-38
	2000
1		Adam Fischbach, John Hannan: Specification and Correctness of Lambda Lifting. SAIG 2000: 108-128

Coauthor Index

1

John Hannan

[1] [2] [3]