“Verification games: extended type systems; game generation” by Tyler Rigsby. Oct. 2013. Undergraduate research (started March 2012). Now at Google, California, USA.

BibTeX entry:

@unpublished{TRigsby12,
   author = {Tyler Rigsby},
   title = {{Verification games: extended type systems; game generation}},
   month = oct,
   note = {Undergraduate research (started March 2012). Now at Google,
        California, USA}
}

Back to the student projects sorted by date or by category.


(This webpage was created with bibtex2web.)