bibliography.bib

@inproceedings{dynamic-python,
    author = "Alex Holkner, James Harland",
    year = 2009,
    publisher = "School of Computer Science, RMIT University",
    booktitle = "ACSC '09: Proceedings of the Thirty-Second Australasian Conference on Computer Science - Volume 91",
    urlpublisher = "https://dl.acm.org/doi/proceedings/10.5555/1862659"
}

@inproceedings{large-scale,
    title = "A large scale study of programming languages and code quality in github",
    author = "Ray, B; Posnett, D; Filkov, V; Devanbu, P",
    booktitle = "FSE 2014: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering",
    urlpublisher = "https://dl.acm.org/doi/10.1145/2635868.2635922",
    year = 2014,
}

@inbook{software-engineering-cape-town,
    title = "Software Engineering",
    author = "The Department of Computer Science, University of Cape Town",
    year = 2010,
    chapter = "Chapter 2. Process and Model",
    url = "https://www.cs.uct.ac.za/mit_notes/software/htmls/ch02s02.html",
}

@misc{clojure-and-types,
    author = "Eric Normand",
    url = "https://lispcast.com/clojure-and-types/#json-and-adts",
    urldate = "2020-10-18"
}

@misc{kimble-software-crisis,
    title = "Information Systems and Strategy",
    chapter = "Session 2, The Software Crisis",
    author = "Chris Kimble",
    url = "http://www.chris-kimble.com/Courses/World_Med_MBA/Software_Crisis.html",
}

@misc{is-se-possible,
    author = "Maarten van Emden",
    year = 2017,
    title = "Is Software Engineering Possible?",
    url = "https://vanemden.wordpress.com/2017/06/07/is-software-engineering-possible/",
}

@misc{wiki-aliasing,
    author = "Wikipedia",
    title = "Aliasing",
    url = "https://en.wikipedia.org/wiki/Aliasing_(computing)",
    urldate = "2021-11-24"
}

@misc{wiki-nato-conferences,
    author = "Wikipedia",
    title = "NATO Software Engineering Conferences",
    url = "https://en.wikipedia.org/wiki/NATO_Software_Engineering_Conferences",
    urldate = "2019-03-23"
}

@misc{formal-methods-wiki,
    author = "Wikipedia",
    title = "Formal methods",
    url = "https://en.wikipedia.org/wiki/Formal_methods",
    urldate = "2021-10-2"
}

@misc{wiki-type-systems,
    author = "Wikipedia",
    title = "Type Systems",
    url = "https://en.wikipedia.org/wiki/Type_system",
    urldate = "2019-04-15"
}

@misc{wiki-abstract,
    author = "Wikipedia",
    title = "Abstract data type",
    url = "https://en.wikipedia.org/wiki/Abstract_data_type",
    urldate = "2019-08-05"
}

@misc{wiki-polymorphism,
    author = "Wikipedia",
    title = "Polymorphism",
    url = "https://en.wikipedia.org/wiki/Polymorphism_(computer_science)",
    urldate = "2020-04-10"
}

@misc{wiki-subtyping,
    author = "Wikipedia",
    title = "Subtyping",
    url = "https://en.wikipedia.org/wiki/Subtyping",
    urldate = "2020-04-10"
}

@misc{wiki-russells,
    author = "Wikipedia",
    title = "Russell's paradox",
    url = "https://en.wikipedia.org/wiki/Russell%27s_paradox",
    urldate = "2020-10-10"
}

@misc{wiki-curry-howard,
    author = "Wikipedia",
    title = "Curry–Howard correspondence",
    url = "https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence",
    urldate = "2020-10-10"
}

@misc{wiki-algebraic,
    author = "Wikipedia",
    title = "Algebraic data types",
    url = "https://en.wikipedia.org/wiki/Algebraic_data_type",
    urldate = "2021-10-17"
}

@misc{wiki-tagged-union,
    author = "Wikipedia",
    title = "Tagged union",
    url = "https://en.wikipedia.org/wiki/Tagged_union",
    urldate = "2021-10-17"
}

@misc{waleed-union-vs-sum,
    author = "Waleed Khan",
    title = "Null-tracking, or the difference between union and sum types",
    url = "https://blog.waleedkhan.name/union-vs-sum-types/",
    urldate = "2021-10-17"
}

@misc{arcieri-rust,
    author = "Tony Arcieri",
    title = "A quick tour of rust's type system",
    subtitle = "Part I: sum types aka. tagged unions",
    url = "https://tonyarcieri.com/a-quick-tour-of-rusts-type-system-part-1-sum-types-a-k-a-tagged-unions",
    urldate = "2021-11-01"
}

@misc{cantrill-rust,
    author = "Bryan Cantrill",
    title = "Rust after the honeymoon",
    url = "http://dtrace.org/blogs/bmc/2020/10/11/rust-after-the-honeymoon/",
    urldate = "2021-12-01",
}

@misc{rust-std-result,
    title = "Rust documentation - std",
    url = "https://doc.rust-lang.org/std/result/",
    urldate = "2021-11-01"
}

@misc{rust-book-ownership,
    title = "Rust documentation - ownership",
    url = "https://doc.rust-lang.org/book/ch04-01-what-is-ownership.html",
    urldate = "2021-11-24"
}

@misc{hoare-billion,
    title = "The Billion Dollar Mistake",
    author = "Sir Charles Antony Richard Hoare",
    url = "https://www.infoq.com/presentations/Null-References-The-Billion-Dollar-Mistake-Tony-Hoare",
    urldate = "2021-11-01"
}

@misc{sinclair-algebraic,
    author = "James Sinclair",
    title = "Algebraic data types",
    url = "https://jrsinclair.com/articles/2019/algebraic-data-types-what-i-wish-someone-had-explained-about-functional-programming/",
    urldate = "2021-10-17"
}

@misc{waghorn-sum-types,
    author = "Noel Waghorn",
    title = "Sum types in Swift and Kotlin",
    url = "https://adapptor.com.au/blog/sum-types-in-swift-and-kotlin",
    urldate = "2021-10-17"
}

@misc{whatis-abstraction,
    author = "Margaret Rouse",
    title = "Abstraction",
    url = "https://whatis.techtarget.com/definition/abstraction",
    urldate = "2019-08-05"
}

@techreport{nato-69,
    author = "Peter Naur and Brian Randell",
    institution = "Nato Science Committee",
    title = "Software Engineering",
    year = "1969",
    url = "http://homepages.cs.ncl.ac.uk/brian.randell/NATO/nato1968.PDF",
}

@misc{hn-nomentatus,
    author = "Hacker News - Nomentatus",
    url = "https://news.ycombinator.com/item?id=14527776)"
}

@misc{hn-joe-z,
    author = "Hacker News - Joe-Z",
    url = "https://news.ycombinator.com/item?id=14527776)"
}

@manual{oracle-generics,
    title = "Effective Java Exceptions",
    author = "Barry Ruzek",
    year = "2007",
    url = "https://www.oracle.com/technetwork/java/effective-exceptions-092345.html",
    urldate = "2019-04-15"
}

@unpublished{deutsch-static-verification,
    title = "Static verification of dynamic properties",
    author = "Alan Deutsch",
    year = 2003,
    pages = 1
}

@misc{duffy-error-model,
    author = "Joe Duffy",
    year = 2016,
    title = "The Error Model",
    url = "http://joeduffyblog.com/2016/02/07/the-error-model/",
    urldate = "2019-04-15"
}

@misc{uiut,
    url = "https://blog.ambrosebs.com/2018/04/07/unsoundness-in-untyped-types.html",
    urldate = "2019-12-27",
    title = "Are unsound type systems wrong?"
}

@misc{typescript-docs,
    url = "https://www.typescriptlang.org/docs/handbook/type-compatibility.html",
    urldate = "2019-12-30",
    title = "Type Compatibility - TypeScript"
}

@misc{flowjs,
    url = "https://flow.org/en/docs/lang/types-and-expressions/",
    urldate = "2020-01-01",
    title = "Soundness and Completeness"
}

@misc{ncatlab-tt,
    url = "https://ncatlab.org/nlab/show/type+theory",
    urldate = "2019-05-07",
    title = "Type Theory",
}

@misc{jsdoc,
    url = "https://jsdoc.app/",
    urldate = "2020-01-01",
    title = "JsDoc",
}

@misc{stanford-tt,
    author = "Thierry, Coquand",
    url = "https://plato.stanford.edu/entries/type-theory/",
    urldate = "2019-05-07",
    title = "Type Theory",
    journal = "The Stanford Encyclopedia of Philosophy (Fall 2018 Edition)",
    year = 2018,
}

@misc{go-gets-exceptions-right,
    author = "Dave Cheney",
    year = 2012,
    title = "Why Go gets exceptions right",
    url = "https://dave.cheney.net/2012/01/18/why-go-gets-exceptions-right",
}

@misc{py-s-vs-d,
    year = 2009,
    title = "Static vs. dynamic typing of programming languages",
    url = "https://pythonconquerstheuniverse.wordpress.com/2009/10/03/static-vs-dynamic-typing-of-programming-languages/",
    urldate = "2019-07-27",
}

@misc{hackernoon-s-vs-d,
    year = 2017,
    author = "Jonathan Gros-Dubois",
    title = "Statically typed vs dynamically typed languages",
    url = "https://hackernoon.com/statically-typed-vs-dynamically-typed-languages-e4778e1ca55",
    urldate = "2019-07-27",
}

@misc{heumen-error-handling,
    author = "Danny van Heumen",
    year = 2016,
    title = "Error handling in modern languages",
    url = "https://www.dannyvanheumen.nl/post/error-handling-in-modern-languages/",
    urldate = "2020-04-10"
}

@misc{heumen-why-i-prefer,
    author = "Danny van Heumen",
    year = 2016,
    title = "Why I prefer error values over exceptions",
    url = "https://www.dannyvanheumen.nl/post/why-i-prefer-error-values-over-exceptions/",
    urldate = "2020-04-10"
}

@misc{so-svic-typing,
    author = "svick",
    year = 2014,
    title = "Is it possible to have a dynamically typed language without duck typing?",
    url = "https://softwareengineering.stackexchange.com/a/259977/90623",
    urldate = "2020-04-10"
}

@misc{oo-inheritance-in-go,
    author = "Tim Henderson",
    year = 2016,
    title = "Object Oriented Inheritance in Go",
    url = "https://hackthology.com/object-oriented-inheritance-in-go.html",
    urldate = "2020-04-10"
}

@misc{types-primer,
    author = "Glenn G. Chappell",
    year = 2015,
    title = "A primer on type systems",
    url = "https://www.cs.uaf.edu/users/chappell/public_html/class/2018_spr/cs331/docs/types_primer.html",
    urldate = "2019-05-02",
}

@misc{langer-generics,
    author = "Angelika Langer",
    title = "Fundamentals of Java Generics",
    url = "http://www.angelikalanger.com/GenericsFAQ/FAQSections/Fundamentals.html",
    urldate = "2021-10-24",
}

@misc{chad-sum-types,
    author = "Chad Austin",
    title = "Sum Types Are Coming: What You Should Know",
    date = "2015-07-09",
    url = "https://chadaustin.me/2015/07/sum-types/",
    urldate = "2021-10-28",
}

@misc{doc-rust-lang,
    url = "https://doc.rust-lang.org/book",
    urldate = "2021-11-28",
    title = "The Rust Programming Language"
}

@misc{microsoft-why-rust,
    url = "https://msrc-blog.microsoft.com/2019/07/22/why-rust-for-safe-systems-programming/",
    urldate = "2021-11-29",
    title = "Why Rust for safe systems programming",
    author = "Ryan Levick",
    publisher = "Microsoft Security Response Center",
}

@misc{microsoft-we-need,
    url = "https://msrc-blog.microsoft.com/2019/07/18/we-need-a-safer-systems-programming-language/",
    urldate = "2021-11-29",
    title = "We need a safer systems programming language",
    author = "Ryan Levick",
    publisher = "Microsoft Security Response Center",
}

@misc{dropbox-rust,
    url = "https://dropbox.tech/infrastructure/rewriting-the-heart-of-our-sync-engine",
    urldate = "2021-11-30",
    title = "Rewriting the heart of our sync engine",
    date = "2020",
    author = "Sujay Jayakar",
}

@misc{cloudflare-rust,
    url = "https://blog.cloudflare.com/boringtun-userspace-wireguard-rust/",
    urldate = "2021-11-30",
    title = "BoringTun, a userspace WireGuard implementation in Rust",
    date = "2019",
    author = "Vlad Krasnov",
}

@article{ownership-types,
    author = {Clarke, David G. and Potter, John M. and Noble, James},
    title = {Ownership Types for Flexible Alias Protection},
    year = {1998},
    url = {https://doi.org/10.1145/286942.286947},
    journal = {SIGPLAN Not.},
}

@misc{mem-mgmt-org,
    title = "Memory Management Reference",
    url = "https://www.memorymanagement.org/glossary/r.html#term-region-inference",
    urldate = "2021-11-13",
}

@misc{tweag-linear,
    url = "https://www.tweag.io/blog/2017-03-13-linear-types/",
    title = "Linear types make performance more predictable",
    urldate = "2021-11-13",
}

@article{on-regions-and-linear,
    author = "David Walker and Kevin Watkins",
    title = "On Regions and Linear Types",
    year = 2001
}

@misc{microsoft-koka,
    title = "Koka",
    url = "https://www.microsoft.com/en-us/research/project/koka/",
    urldate = "2021-11-13",
}

@misc{exotic-effects,
    author = "Stephen Diehl",
    title = "Exotic Programming Ideas: Part 3 (Effect Systems)",
    url = "https://www.stephendiehl.com/posts/exotic03.html",
    urldate = "2021-11-13",
}

@unpublished{vorobyov-krishnan,
    author = "Kostyantyn Vorobyov and Padmanabhan Krishnan",
    year = 2010,
    title = "Comparing Model Checking and Static Program Analysis: A Case Study in Error Detection Approaches",
    page = 1,
}

@article{debugging-testing-verification,
    author = "B. Hailper and P. Santhanam",
    title = "Software Debugging, Testing, and Verification",
    journal = "IBM Systems Journal",
    year = 2002,
    page = 4,
}

@article{region-based,
    author = "Mads Tofte and Jean Pierre Talpin",
    title = "Region Based Memory Management",
    year = 1994,
}

@misc{debating-type-systems,
    author = "Chris Smith",
    year = 2010,
    url = "http://blogs.perl.org/users/ovid/2010/08/what-to-know-before-debating-type-systems.html",
    urldate = "2019-04-15"
}

@book{tapl,
    author = "Benjamin C. Pierce",
    year = 2002,
    title = "Types and Programming Languages",
}

@book{krishnamurthi-plai,
    author = "Shriram Krishnamurthi",
    year = 2017,
    title = "Programming Languages: Application and Interpretation",
}

@book{pfpl-2016,
    author = "Robert Harper",
    year = 2016,
    title = "Practical Foundations for Programming Languages, Second Edition",
    publisher = "Carnegie Mellon University"
}

@book{tspl-2000,
    author = "Robert Harper",
    year = 2000,
    title = "Type Systems for Programming Languages 1 (DRAFT)",
    school = "School of Computer Science, Carnegie Mellon University"
}

@book{ranta2012,
    author = "Aarne Ranta",
    year = 2012,
    title = "Implementing Programming Languages",
    url = "http://www.grammaticalframework.org/ipl-book/"
}

@phdthesis{leroy-phd,
    author = "Xavier Leroy",
    title = "Polymorphic typing of an algorithmic language",
    school = "University Paris VII",
    year = 1992,
}

@article{tt-oop,
    author = "Scott Danforth and Chris Tomlinson",
    title = "Type Theories and Object-Oriented Programming",
    year = 1988,
    journal = "ACM Computing Surveys, Vol. 20, No. 1"
}

@article{leroy-type-based-analysis,
    author = "Xavier Leroy and François Pessaux",
    title = "Type-based analysis of unaught exeptions",
    journal = "ACM Transactions on Programming Languages and Systems (TOPLAS)",
    year = 2000,
    page = 1,
}

@inproceedings{leroy-intro-tic98,
    author = {Xavier Leroy},
    title = {An overview of Types in Compilation},
    booktitle = {TIC 1998: workshop Types in Compilation},
    pages = {1--8},
    series = {LNCS},
    number = 1473,
    publisher = {Springer},
    year = {1998},
    month = mar,
    urllocal = {http://xavierleroy.org/publi/intro-tic98.pdf},
    urlpublisher = {http://dx.doi.org/10.1007/BFb0055509},
    doi = {10.1007/BFb0055509},
    abstract = {A short survey of the uses of types in compilation.},
    xtopic = {typecomp}
}

@inbook{cardelli-96,
    author = "Luca Cardelli",
    title = "Type systems",
    booktitle = "Handbook of Computer Science and Engineering",
    editor = "Allen B. Tucker",
    publisher = "CRC Press",
    year = 1996,
}

@misc{cse-341,
    author = "Department of Computer Science and Engineering",
    title = "CSE341: Programming Languages",
    publisher = "Univerity of Washington",
    unit = "Winter 2013 Unit 6",
    year = 2013,
}

@misc{parmer-type-systems,
    author = "James Parmer",
    year = 2018,
    title = "Functional Programming: Type Systems",
    url = "https://www.youtube.com/watch?v=hy1wjkcIBCU",
    urldate = "2019-05-11",
}

@misc{nascimento-duck,
    author = "Martim Nascimento",
    year = 2017,
    title = "Python duck typing (or automatic interfaces)",
    url = "https://martim00.wordpress.com/2017/10/01/python-duck-typing-or-automatic-interfaces/",
    urldate = "2019-07-29",
}

@misc{abrahamson-quora,
    author = "Joseph Abrahamson",
    year = 2014,
    title = "What are the programming languages with the best type system? Why?",
    url = "https://www.quora.com/What-are-the-programming-languages-with-the-best-type-system-Why/answer/Joseph-Abrahamson?ch=10&share=6b0f63a3&srid=8nW0V",
    urldate = "2019-07-30",
}

@misc{py-type,
    author = "Paweł Święcki",
    title = "First Steps with Python Type System",
    url = "https://blog.daftcode.pl/first-steps-with-python-type-system-30e4296722af",
    urldate = "2017-07-27",
    year = 2018
}

@unpublished{ots-2008,
    author = "Onur Tolga Şehitoğlu",
    year = 2008,
    title = "Programming Languages: Type Systems",
    institution = "Computer Engineering, METU",
}

@book{ppl-2016,
    author = "Scott F Smith",
    year = "2016",
    title = "Principles of Programming Languages",
}

@book{gopl,
    author = "Alan A. A. Donovan & Brian W. Kernighan",
    year = "2016",
    title = "The go programming language",
}

@book{summerfield-go,
    author = "Mark Summerfield",
    year = "2012",
    title = "Programming in Go",
    subtitle = "Creating applications for the 21st century",
    publisher = "Addison-Wesley",
}

@article{esist-2013,
    title = "An empirical study on the impact of static typing on software maintainability",
    year = 2013,
    author = {Hanenberg, Stefan and others},
    journal = "Empirical Software Engineering"
}

@misc{revival-2005,
    title = "On the Revival of Dynamic Languages",
    institution = "Software Composition Group, University of Bern",
    year = 2005,
    author = "Nierstrasz, Oscar and others",
}

@misc{type-or-not-js,
    title = "To Type or Not to Type: Quantifying Detectable Bugs in JavaScript",
    year = 2017,
    author = "Zheng Gao and others"
}

@misc{type-inf-ml,
    title = "Type Inference for ML",
    year = 2012,
    author = "Tony Garnock-Jones"
}

@article{region-inference,
    title = "A Region Inference Algorithm",
    year = 1998,
    author = "Mads Tofte, Lars Birkedal",
    journal = "ACM Transactions on Programming Languages and Systems, Vol. 20, No. 5, July 1998, Pages 724–767."
}

@article{monnier-et-al,
    title = "Implementing Typed Intermediate Languages",
    author = "Monnier et al.",
    year = 1998,
    journal = "ACM SIGPLAN Notices, September 1998"
}

@article{cardelli-object-calculus,
    title = "An imperative object calculus",
    year = 1995,
    author = "Cardelli at al.",
    journal = "CAAP 1995: TAPSOFT '95: Theory and Practice of Software Development "
}

@misc{siek-taha-gradual,
    title = "Gradual Typing for Functional Languages",
    year = 2006,
    author = "Jeremy G. Siek, Walid Taha"
}

@misc{understanding-ts,
    title = "Understanding TypeScript",
    author = "Bierman et al.",
    year = 2014,
}

@misc{rust-book,
    title = "The Rust Programming Langage (online book)",
    year = 2017,
}

@misc{mozilla-fearless,
    author = "Diane Hosfelt",
    url = "https://hacks.mozilla.org/2019/01/fearless-security-memory-safety/",
    urldate = "2021-10-15"
}

@misc{wiki-variance,
    author = "Wikipedia",
    title = "Covariance_and_contravariance_(computer_science)",
    url = "https://en.wikipedia.org/wiki/Covariance_and_contravariance_(computer_science)",
    urldate = "2021-11-06"
}