“Integrate type system knowledge into the ECF language server” by Zain Salman. Dec. 2023. Fall 2023 URA student (started September 2023).

BibTeX entry:

@unpublished{ZainSalman23,
   author = {Zain Salman},
   title = {{Integrate type system knowledge into the ECF language server}},
   month = dec,
   note = {Fall 2023 URA student (started September 2023)}
}

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


(This webpage was created with bibtex2web.)