Scala Symposium

@UCehSD6jslceVu1Kc8rWN0CA - 86 subscribers

Home Videos Live Playlists

Tongfei Chen - Typesafe Abstractions for Tensor Operations | Scala Symposium 2017

Tongfei Chen - Typesafe Abstractions for Tensor Operations | Scala Symposium 2017 Scala Symposium

165 views - 8 years ago

Leo Osvald - Rust-Like Borrowing with 2nd-Class Values | Scala Symposium 2017

Leo Osvald - Rust-Like Borrowing with 2nd-Class Values | Scala Symposium 2017 Scala Symposium

277 views - 8 years ago

Lionel Parreux - Squid: Type-Safe, Hygienic, and Reusable Quasi-Quotes | Scala Symposium 2017

Lionel Parreux - Squid: Type-Safe, Hygienic, and Reusable Quasi-Quotes | Scala Symposium 2017 Scala Symposium

144 views - 8 years ago

Anthony Sloane - ScalaSMT: Satisfiability Modulo Theory in Scala | Scala Symposium 2017

Anthony Sloane - ScalaSMT: Satisfiability Modulo Theory in Scala | Scala Symposium 2017 Scala Symposium

79 views - 8 years ago

Nate Nystrom - A Scala Framework for Supercompilation | Scala Symposium 2017

Nate Nystrom - A Scala Framework for Supercompilation | Scala Symposium 2017 Scala Symposium

366 views - 8 years ago

Adelbert Chang - The Limitations of Type Classes as Subtyped Implicits | Scala Symposium 2017

Adelbert Chang - The Limitations of Type Classes as Subtyped Implicits | Scala Symposium 2017 Scala Symposium

300 views - 8 years ago

Jonathan Brachthäuser - Effekt: Extensible Algebraic Effects in Scala | Scala Symposium 2017

Jonathan Brachthäuser - Effekt: Extensible Algebraic Effects in Scala | Scala Symposium 2017 Scala Symposium

1.1K views - 8 years ago

Guillaume Martres - Interactive development using the Dotty compiler | Scala Symposium 2017

Guillaume Martres - Interactive development using the Dotty compiler | Scala Symposium 2017 Scala Symposium

131 views - 8 years ago

Aleksandar Prokopec - Making Collection Operations Optimal with Aggressive JIT Compilation

Aleksandar Prokopec - Making Collection Operations Optimal with Aggressive JIT Compilation Scala Symposium

89 views - 8 years ago

Abel Nieto - Towards Algorithmic Typing for DOT | Scala Symposium 2017

Abel Nieto - Towards Algorithmic Typing for DOT | Scala Symposium 2017 Scala Symposium

100 views - 8 years ago

Lars Kroll - Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code

Lars Kroll - Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code Scala Symposium

86 views - 8 years ago

Reynold Xin - Apache Spark and Scala | Scala Symposium 2017

Reynold Xin - Apache Spark and Scala | Scala Symposium 2017 Scala Symposium

258 views - 8 years ago

Dwayne Reeves - The Hack Programming Language | Scala Symposium 2017

Dwayne Reeves - The Hack Programming Language | Scala Symposium 2017 Scala Symposium

408 views - 8 years ago