Adam Fischbach

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003

3 EE Adam Fischbach, John Hannan: Specification and correctness of lambda lifting. J. Funct. Program. 13(3): 509-543 (2003)

2001

2 EE Adam Fischbach, John Hannan: Type Systems for Useless-Variable Elimination. PADO 2001: 25-38

2000

1 EE Adam Fischbach, John Hannan: Specification and Correctness of Lambda Lifting. SAIG 2000: 108-128

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

Coauthor Index

1 John Hannan [1] [2] [3]