Andrew Bennett

From FSL

Jump to: navigation, search

Image: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

Retrieved from "http://fsl.cs.uiuc.edu/index.php/Andrew_Bennett"
Views
Personal tools