“Pluggable Type Systems” by Dan Brotherston. Sep. 2015. MMath student (ongoing, started May 2014); co-supervised with Ondrej Lhotak.

BibTeX entry:

@unpublished{DanBrotherston15,
   author = {Dan Brotherston},
   title = {{Pluggable Type Systems}},
   month = sep,
   note = {MMath student (ongoing, started May 2014); co-supervised with
        Ondrej Lhotak}
}

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


(This webpage was created with bibtex2web.)