“Pluggable Type Systems” by Jeff Luo. Sep. 2015. PhD student (ongoing, started July 2014).

BibTeX entry:

@unpublished{JeffLuo15,
   author = {Jeff Luo},
   title = {{Pluggable Type Systems}},
   month = sep,
   note = {PhD student (ongoing, started July 2014)}
}

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


(This webpage was created with bibtex2web.)