| LICS Archive |
|---|
| All Conferences |
| Committees |
| Invited Speakers |
| Papers by Author |
| Test-of-Time Award Winners |
| Kleene Award Winners |
No Abstract Available
@InProceedings{BarzilayAllenConsta-PracticalReflection,
author = {Eli Barzilay and Stuart F. Allen and Robert L. Constable},
title = {Practical Reflection in Nuprl},
booktitle = {Proceedings of the Eighteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2003)},
year = {2003},
month = {June},
location = {Ottawa, Canada},
note = {Short Presentation},
publisher = {IEEE Computer Society Press}
}