Adam Fischbach

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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

	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]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page