Type safety (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Type safety" in English language version.

refsWebsite

Global rank English rank

6doi.org

2^nd place

2acm.org

1,185^th place

840^th place

2semanticscholar.org

11^th place

8^th place

2cppreference.com

low place

9,420^th place

1perl.org

low place

9,807^th place

1handle.net

102^nd place

76^th place

1upenn.edu

702^nd place

520^th place

1worldcat.org

5^th place

1ed.ac.uk

1,871^st place

1,234^th place

1smlnj.org

low place

1web.archive.org

1^st place

1haskell.org

low place

7,198^th place

1psu.edu

207^th place

136^th place

1cornell.edu

332^nd place

246^th place

1archive.org

6^th place

1knightsoftype.blogspot.com

low place

1excelsior-usa.com

low place

1lispworks.com

low place

acm.org

dl.acm.org

Damas, Luis; Milner, Robin (25 January 1982). "Principal type-schemes for functional programs". Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82. Association for Computing Machinery. pp. 207–212. doi:10.1145/582153.582176. ISBN 0897910656. S2CID 11319320.
Henriksen, Troels; Elsman, Martin (17 June 2021). "Towards size-dependent types for array programming". Proceedings of the 7th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming. Association for Computing Machinery. pp. 1–14. doi:10.1145/3460944.3464310. ISBN 9781450384667. S2CID 235474098.

archive.org

Kernighan; Dennis M. Ritchie (March 1988). The C Programming Language (2nd ed.). Englewood Cliffs, NJ: Prentice Hall. p. 116. ISBN 978-0-13-110362-7. In C, the proper method is to declare that malloc returns a pointer to void, then explicitly coerce the pointer into the desired type with a cast.

cornell.edu

cs.cornell.edu

"CS1130. Transition to OO programming. – Spring 2012 --self-paced version". Cornell University, Department of Computer Science. 2005. Retrieved 2023-09-15.

cppreference.com

en.cppreference.com

"reinterpret_cast conversion - cppreference.com". En.cppreference.com. Retrieved 2022-09-21.
"dynamic_cast conversion - cppreference.com". En.cppreference.com. Retrieved 2022-09-21.

doi.org

Milner, Robin (1978), "A Theory of Type Polymorphism in Programming", Journal of Computer and System Sciences, 17 (3): 348–375, doi:10.1016/0022-0000(78)90014-4, hdl:20.500.11820/d16745d7-f113-44f0-a7a3-687c2b709f66
Wright, A. K.; Felleisen, M. (15 November 1994). "A Syntactic Approach to Type Soundness". Information and Computation. 115 (1): 38–94. doi:10.1006/inco.1994.1093. ISSN 0890-5401.
Damas, Luis; Milner, Robin (25 January 1982). "Principal type-schemes for functional programs". Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82. Association for Computing Machinery. pp. 207–212. doi:10.1145/582153.582176. ISBN 0897910656. S2CID 11319320.
Henriksen, Troels; Elsman, Martin (17 June 2021). "Towards size-dependent types for array programming". Proceedings of the 7th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming. Association for Computing Machinery. pp. 1–14. doi:10.1145/3460944.3464310. ISBN 9781450384667. S2CID 235474098.
Liskov, B; Zilles, S (1974). "Programming with abstract data types". ACM SIGPLAN Notices. 9 (4): 50–59. CiteSeerX 10.1.1.136.3043. doi:10.1145/942572.807045.
Jackson, K. (1977). "Parallel processing and modular software construction". Design and Implementation of Programming Languages. Lecture Notes in Computer Science. Vol. 54. pp. 436–443. doi:10.1007/BFb0021435. ISBN 3-540-08360-X.

ed.ac.uk

era.ed.ac.uk

Tofte, Mads (1988). Operational Semantics and Polymorphic Type Inference (Thesis).

excelsior-usa.com

"ISO Modula-2 Language Reference". Retrieved 24 March 2015.

handle.net

hdl.handle.net

Milner, Robin (1978), "A Theory of Type Polymorphism in Programming", Journal of Computer and System Sciences, 17 (3): 348–375, doi:10.1016/0022-0000(78)90014-4, hdl:20.500.11820/d16745d7-f113-44f0-a7a3-687c2b709f66

haskell.org

"System.IO.Unsafe". GHC libraries manual: base-3.0.1.0. Archived from the original on 2008-07-05. Retrieved 2008-07-17.

knightsoftype.blogspot.com

"The Separation of Safe and Unsafe Facilities". Retrieved 24 March 2015.

lispworks.com

"Common Lisp HyperSpec". Retrieved 26 May 2013.

perl.org

blogs.perl.org

"What to know before debating type systems | Ovid [blogs.perl.org]". blogs.perl.org. Retrieved 2023-06-27.

psu.edu

citeseerx.ist.psu.edu

Liskov, B; Zilles, S (1974). "Programming with abstract data types". ACM SIGPLAN Notices. 9 (4): 50–59. CiteSeerX 10.1.1.136.3043. doi:10.1145/942572.807045.

semanticscholar.org

api.semanticscholar.org

Damas, Luis; Milner, Robin (25 January 1982). "Principal type-schemes for functional programs". Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82. Association for Computing Machinery. pp. 207–212. doi:10.1145/582153.582176. ISBN 0897910656. S2CID 11319320.
Henriksen, Troels; Elsman, Martin (17 June 2021). "Towards size-dependent types for array programming". Proceedings of the 7th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming. Association for Computing Machinery. pp. 1–14. doi:10.1145/3460944.3464310. ISBN 9781450384667. S2CID 235474098.

smlnj.org

Standard ML. Smlnj.org. Retrieved on 2013-11-02.

upenn.edu

cis.upenn.edu

Saraswat, Vijay (1997-08-15). "Java is not type-safe". Retrieved 2008-10-08.

web.archive.org

"System.IO.Unsafe". GHC libraries manual: base-3.0.1.0. Archived from the original on 2008-07-05. Retrieved 2008-07-17.

worldcat.org

Wright, A. K.; Felleisen, M. (15 November 1994). "A Syntactic Approach to Type Soundness". Information and Computation. 115 (1): 38–94. doi:10.1006/inco.1994.1093. ISSN 0890-5401.