@@ -26,7 +26,7 @@ @inproceedings{meijer2004static
2626@inproceedings {odersky2005scalable ,
2727title ={ Scalable component abstractions}
2828author ={ Odersky, Martin and Zenger, Matthias}
29- booktitle ={ ACMSigplan Notices}
29+ booktitle ={ ACMSIGPLAN Notices}
3030volume ={ 40}
3131number ={ 10}
3232pages ={ 41--57}
@@ -37,15 +37,15 @@ @inproceedings{odersky2005scalable
3737@incollection {Odersky03_vObj ,
3838year ={ 2003}
3939isbn ={ 978-3-540-40531-3}
40- booktitle ={ ECOOP 2003– Object-Oriented Programming}
40+ booktitle ={ ECOOP 2003-- Object-Oriented Programming}
4141volume ={ 2743}
4242series ={ Lecture Notes in Computer Science}
4343editor ={ Cardelli, Luca}
4444doi ={ 10.1007/978-3-540-45070-2_10}
4545title ={ A Nominal Theory of Objects with Dependent Types}
4646url ={ http://dx.doi.org/10.1007/978-3-540-45070-2_10}
4747publisher ={ Springer Berlin Heidelberg}
48- author ={ Odersky, Martin and Cremet, Vincent andRöckl , Christine and Zenger, Matthias}
48+ author ={ Odersky, Martin and Cremet, Vincent andR{\"o}ckl , Christine and Zenger, Matthias}
4949pages ={ 201-224}
5050}
5151
@@ -87,7 +87,7 @@ @TechReport{Doeraene13_ScalaJs
8787 and jQuery APIs, among others, both in its statically
8888 typed and dynamically typed flavors.} ,
8989affiliation ={ EPFL}
90- author ={ Doeraene,Sébastien }
90+ author ={ Doeraene,S{\'e}bastien }
9191details ={ http://infoscience.epfl.ch/record/190834}
9292documenturl ={ http://infoscience.epfl.ch/record/190834/files/scalajs-paper.pdf}
9393keywords ={ interoperability; static types; dynamic types; Scala; JavaScript}
@@ -105,11 +105,11 @@ @TechReport{Doeraene13_ScalaJs
105105@incollection {Lerner13_TypedJQuery ,
106106year ={ 2013}
107107author =" Lerner, BenjaminS. and Elberty, Liam and Li, Jincheng and Krishnamurthi, Shriram"
108- booktitle =" {ECOOP 2013– Object-Oriented Programming}"
108+ booktitle =" {ECOOP 2013-- Object-Oriented Programming}"
109109doi =" 10.1007/978-3-642-39038-8_4"
110110editor =" Castagna, Giuseppe"
111111isbn =" 978-3-642-39037-1"
112- pages =" 79– 103"
112+ pages =" 79-- 103"
113113publisher =" Springer Berlin Heidelberg"
114114series =" {Lecture Notes in Computer Science}"
115115title =" {Combining Form and Function: Static Types for JQuery Programs}"
@@ -121,7 +121,7 @@ @incollection{Lerner13_TypedJQuery
121121@inproceedings {leijen1999domain ,
122122title ={ Domain specific embedded compilers}
123123author ={ Leijen, Daan and Meijer, Erik}
124- booktitle ={ ACMSigplan Notices}
124+ booktitle ={ ACMSIGPLAN Notices}
125125volume ={ 35}
126126number ={ 1}
127127pages ={ 109--122}
@@ -166,9 +166,14 @@ @article{fenton2012typescript
166166}
167167
168168@article {Brady13_Idris ,
169- title ={ Idris, a General Purpose Dependently Typed Programming Language: Design and Implementation}
170- author ={ Brady, Edwin}
171- year={ 2013}
169+ title ={ Idris, a general-purpose dependently typed programming language: Design and implementation}
170+ author ={ Brady, Edwin}
171+ journal ={ Journal of Functional Programming}
172+ volume ={ 23}
173+ number ={ 05}
174+ pages ={ 552--593}
175+ year ={ 2013}
176+ publisher ={ Cambridge Univ Press}
172177}
173178
174179@misc {czaplicki2012elm ,