Baby Modula-3 (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Baby Modula-3" in English language version.

refsWebsite
Global rank English rank
3,975th place
2,687th place
207th place
136th place
2nd place
2nd place
low place
low place
low place
low place

doi.org

  • Schwinghammer, J. (2008-01-01). "On Normalization by Evaluation for Object Calculi". In Miculan, Marino; Scagnetto, Ivan; Honsell, Furio (eds.). Types for Proofs and Programs. Lecture Notes in Computer Science. Vol. 4941. Springer Berlin Heidelberg. pp. 173–187. CiteSeerX 10.1.1.140.5764. doi:10.1007/978-3-540-68103-8_12. ISBN 978-3-540-68084-0.

hp.com

hpl.hp.com

kfupm.edu.sa

reference.kfupm.edu.sa

ksu.edu

people.cis.ksu.edu

psu.edu

citeseerx.ist.psu.edu

  • Schwinghammer, J. (2008-01-01). "On Normalization by Evaluation for Object Calculi". In Miculan, Marino; Scagnetto, Ivan; Honsell, Furio (eds.). Types for Proofs and Programs. Lecture Notes in Computer Science. Vol. 4941. Springer Berlin Heidelberg. pp. 173–187. CiteSeerX 10.1.1.140.5764. doi:10.1007/978-3-540-68103-8_12. ISBN 978-3-540-68084-0.