First Page | Document Content | |
---|---|---|
Date: 2014-03-18 17:06:31Software engineering Computing Computer programming Type theory Data types Functional languages Procedural programming languages Cross-platform software Type inference Scala Covariance and contravariance Type system | Scalad: An Interactive Type-level Debugger Hubert Plociniczak École Polytechnique Fédérale de Lausanne {first.last}@epfl.chAdd to Reading ListSource URL: lampwww.epfl.chDownload Document from Source WebsiteFile Size: 454,39 KBShare Document on Facebook |