A Static Analyzer for Large Safety-Critical Software (Extended Abstract) Bruno Blanchet ∗ § Laurent Mauborgne § Patrick Cousot §

Source URL: www-verimag.imag.fr

• Computing
• Software engineering
• Computer programming
• Abstract interpretation
• Data types
• Functional languages
• Denotational semantics
• Function
• Array data type
• Scala
• Widening
• Data-flow analysis

Scala.js Safety & Sanity in the wild west of the web Li Haoyi, Dropbox, 20 July 2015 1.1 Who am I and what is Scala.js? - Haoyi works on devtools @ Dropbox

Source URL: www.lihaoyi.com

LX Scala - Lisbon The first interna6onal Scala conference of southwest Europe to gather communi6es from Portugal , Spain and the UK. 8th / 9th April 2016

Source URL: www.lxscala.com

Bootstrapping the Scala.js Ecosystem Li Haoyi, Scala eXchange 7 Dec 2014 What is Scala.js ● Scala.js is a Scala -> Javascript compiler

Source URL: www.lihaoyi.com

Private Row Types: Abstracting the Unnamed Jacques Garrigue Graduate School of Mathematical Sciences, Nagoya University, Chikusa-ku, NagoyaAbstract. In addition to traditional recor

Source URL: www.math.nagoya-u.ac.jp

• Functional languages
• Data types
• Functional programming
• Object-oriented programming languages
• Programming idioms
• OCaml
• Structural type system
• Scala
• ALGOL 68
• Recursion
• Monad
• C++ classes

DFScala: High Level Dataflow Support for Scala Daniel Goodman∗ Salman Khan Chris Seaton

Source URL: chrisseaton.com

• Computing
• Software engineering
• Computer programming
• Concurrent programming languages
• Programming paradigms
• Computer architecture
• Functional languages
• Dataflow
• Concurrent computing
• Scala
• Functional programming
• Pattern matching

Titanium Group (Past and Present) Titanium: A Java Dialect for High Performance Computing Dan Bonachea U.C. Berkeley

Source URL: titanium.cs.berkeley.edu

• Software engineering
• Computing
• Computer programming
• Data types
• C++
• Object-oriented programming languages
• Procedural programming languages
• C
• D
• Const
• Scala
• Foreach loop

Classes of small-world networks L. A. N. Amaral*, A. Scala, M. Barthe´le´my†, and H. E. Stanley Center for Polymer Studies and Department of Physics, Boston University, Boston, MACommunicated by Herman Z. Cumm

Source URL: polymer.bu.edu

Microsoft PowerPoint - titanium-tutorial-psc04.ppt

Source URL: titanium.cs.berkeley.edu

• Software engineering
• Computing
• Computer programming
• C++
• Data types
• Object-oriented programming languages
• Procedural programming languages
• C
• D
• Const
• Pointer
• Scala

DSL Summer School Intro Martin Odersky EPFL Why DSLs? 1. Give users ways to express themselves in a notation

Source URL: vjovanov.github.io

• Computing
• Software engineering
• Functional languages
• Object-oriented programming languages
• Scripting languages
• Array data structure
• Array data type
• Red
• Scala
• Apache Spark