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

BibTeX entry:

@unpublished{JeffLuo14,
   author = {Jeff Luo},
   title = {{Pluggable Type Systems}},
   month = jul,
   note = {PhD student (ongoing)}
}

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


(This webpage was created with bibtex2web.)