William Blum: Publications
by date |
by title |
by type |
bibtex
conference papers
|
[1]
|
The Safe Lambda Calculus
William Blum, C.-H. Luke Ong.
In Lecture Notes in Computer Science Vol. 4583 of Proceedings of the 8th International Conference on Typed Lambda Calculi and Applications (TLCA07), pages 39-53. Springer Berlin / Heidelberg, 2007.
Details
|
BibTeX
| Download (pdf)
|
DOI (10.1007/978-3-540-73228-0)
|
technical reports
|
[1]
|
Extended version of the TLCA07 paper on the Safe Lambda Calculus
William Blum, C.-H. Luke Ong.
Technical Report, 2007.
Details
|
BibTeX
| Download (pdf) |
theses
|
[1]
|
Termination analysis of lambda calculus and a subset of core ML
William Blum
Master's Thesis. 2004.
Details
|
BibTeX
| Download (pdf) |
|
