David Lazar

From K Framework

Jump to: navigation, search

David Lazar is a senior undergraduate at the University of Illinois at Urbana-Champaign working with prof. Grigore Rosu.

Role in the K Framework Project

Working on the semantics of Haskell
Improving the usability of K

[edit] Publications Related to the K Framework

The K Primer (version 2.5) 
Traian Florin Serbanuta, Andrei Arusoaie, David Lazar, Chucky Ellison, Dorel Lucanu and Grigore Rosu
Technical Report, January 2012
PDF, K 2.5, BIB

Retrieved from "http://www.k-framework.org/index.php/David_Lazar"
Personal tools