Login / Signup
Adam Fischbach
Publication Activity (10 Years)
Years Active: 2000-2018
Publications (10 Years): 2
Top Topics
Higher Level
Open Issues
Computer Forensics
Fixpoint
Top Venues
SIGCSE
</>
Publications
</>
Adam Fischbach
,
Yana Kortsarts
,
Suk-Chung Yoon
Developing Interdisciplinary Programs: Challenges and Opportunities (Abstract Only).
SIGCSE
(2018)
Adam Fischbach
,
Yana Kortsarts
,
Suk-Chung Yoon
Developing Computer Forensics Minor - Challenges and Opportunities: (Abstract Only).
SIGCSE
(2018)
Adam Fischbach
,
John Hannan
Specification and correctness of lambda lifting.
J. Funct. Program.
13 (3) (2003)
Adam Fischbach
,
John Hannan
Type Systems for Useless-Variable Elimination.
PADO
(2001)
Adam Fischbach
,
John Hannan
Specification and Correctness of Lambda Lifting.
SAIG
(2000)