<--- Back to Details
First PageDocument Content
Type theory / Data types / Functional programming / Functional languages / Java platform / Scala / Type system / Covariance and contravariance / Literal / Computing / Software engineering / Computer programming
Date: 2013-10-20 20:02:23
Type theory
Data types
Functional programming
Functional languages
Java platform
Scala
Type system
Covariance and contravariance
Literal
Computing
Software engineering
Computer programming

The Scala Language Specification Version 2.8

Add to Reading List

Source URL: www.scala-lang.org

Download Document from Source Website

File Size: 1,25 MB

Share Document on Facebook

Similar Documents

Proof theory / General relativity / Complex analysis / Holomorphic functional calculus

Dependent Object Types Towards a foundation for Scala’s type system Nada Amin Adriaan Moors

DocID: 1xVKz - View Document

The Academic Failure with Alloy Alloy Amazing Type System

DocID: 1xV4R - View Document

A Type System for Privacy Properties

DocID: 1xTOq - View Document

Type theory / Software engineering / Programming language theory / Computing / Type system / Unification / HindleyMilner type system / Standard ML / System F / ML / Type inference / Generics in Java

A Verified Type System for CakeML Yong Kiam Tan Scott Owens IHPC, A*STAR

DocID: 1xTwi - View Document

Technical Report no. 2007:1 Integration of a Security Type System into a Program Logic Reiner H¨ahnle, Jing Pan, Philipp R¨ummer, Dennis Walter

DocID: 1vrAi - View Document