<--- 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

Computing / Software engineering / Models of computation / UML state machine / State diagram / HSM / Scala

Modeling and Monitoring of Hierarchical State Machines in Scala? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov

DocID: 1xVoG - View Document

Computing / Software engineering / Computer programming / Inter-process communication / UML state machine / Message queue / Message passing / Event loop / Futures and promises / Monitor / Scala / High-Speed SECS Message Services

Modeling Rover Communication using Hierarchical State Machines with Scala Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov

DocID: 1xUHd - View Document

PDF Document

DocID: 1w4Ii - View Document

Case Study Twilio Improves Mean Time To Resolution (MTTR) by 92% with LightStep [x]PM Founded in 2008, Twilio’s mission is to fuel the future of communications. Twilio lowers engineering costs with its flexible, scala

DocID: 1uYet - View Document