Type Annotations specification (JSR 308)

Download: current status and implementation, original proposal.

“Type Annotations specification (JSR 308)” by Michael D. Ernst. Oct. 2011.

Download: current status and implementation, original proposal.

BibTeX entry:

@misc{JSR308-webpage-201110,
   author = {Michael D. Ernst},
   title = {{Type Annotations} specification ({JSR} 308)},
   month = oct,
   year = {2011},
   howpublished = {\url{https://checkerframework.org/jsr308/}}
}

(This webpage was created with bibtex2web.)

Back to Michael Ernst's publications.