Fighting Bit Rot with Types (Experience Report: Scala Collections)

DOI10.4230/LIPICS.FSTTCS.2009.2338zbMath1248.68158OpenAlexW2137869319MaRDI QIDQ2920151

Adriaan Moors, Martin Odersky

Publication date: 24 October 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_8de3.html

zbMATH Keywords

polymorphismprogramming languagestype systemsScalaavoiding code duplicationcollections libraryhigher-order kinds

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of software (68N99)

Related Items (1)

A domain-theoretic model of nominally-typed object-oriented programming

Uses Software

• Unnamed Item

This page was built for publication: Fighting Bit Rot with Types (Experience Report: Scala Collections)