Andrew Bennett

From FSL
Jump to: navigation, search

Ande.jpg

abennet1@uiuc.edu
Second-year M.S. student
Advisor: Grigore Rosu
Computer Science Department
University of Illinois Urbana-Champaign


B.S., University of Illinois at Urbana-Champaign, 2004
M.S., University of Illinois at Urbana-Champaign, 2006


Worked with the FSL research group on Haskell-RL

Publications:

Haskell-RL: An Equational Specification of Haskell in Maude 
Andrew Bennett
MS CS Thesis Submission
PDF, semantics

Personal tools
Namespaces

Variants
Actions
Navigation