Hacker News
- Collapsing Towers of Interpreters (2018) [pdf] http://lampwww.epfl.ch/~amin/pub/collapsing-towers.pdf 19 comments
- Cross-Platform Language Design [pdf] http://lampwww.epfl.ch/~doeraene/thesis/doeraene-thesis-2018-cross-platform-language-design.pdf 16 comments
- [thesis] Cross Platform Language Design in Scala.js http://lampwww.epfl.ch/~doeraene/thesis/ 4 comments
- Concurrent Tries with Efficient Non-Blocking Snapshots (2012) [pdf] http://lampwww.epfl.ch/~prokopec/ctries-snapshot.pdf 4 comments
- Surgical Precision JIT Compilers [pdf] http://lampwww.epfl.ch/~rompf/pldi2014.pdf 24 comments
- Scala.js - Write in Scala for the browser http://lampwww.epfl.ch/~doeraene/presentations/scala-js-scaladays2013/#/ 30 comments
- Cross-Platform Language Design - the PhD thesis behind Scala.js http://lampwww.epfl.ch/~doeraene/thesis/ 19 comments scala
- How about an STM hash table implementation? http://lampwww.epfl.ch/papers/idealhashtrees.pdf 37 comments haskell
- Scala.js - Write in Scala for the browser http://lampwww.epfl.ch/~doeraene/presentations/scala-js-scaladays2013/#/ 26 comments programming
- Event-Based Programming without Inversion of Control [PDF] http://lampwww.epfl.ch/~odersky/papers/jmlc06.pdf 8 comments programming
- Functional Nets http://lampwww.epfl.ch/fn/ 7 comments programming
Lambda the Ultimate
- Tool Demo: Scala-Virtualized http://lampwww.epfl.ch/~phaller/doc/pepm2012.pdf 0 comments DSL , Implementation , Meta-Programming , Object-Functional , Scala , Semantics , Type Theory
- Matching Objects With Patterns http://lampwww.epfl.ch/~emir/written/MatchingObjectsWithPatterns-TR.pdf 17 comments Object-Functional , Scala
- A Core Calculus for Scala Type Checking http://lampwww.epfl.ch/~odersky/papers/mfcs06.pdf 16 comments Object-Functional , Type Theory
- Event-Based Programming without Inversion of Control http://lampwww.epfl.ch/~odersky/papers/jmlc06.pdf 14 comments Object-Functional , Parallel/Distributed
- Scala http://lampwww.epfl.ch/~odersky/scala/ 3 comments Software-Eng
- Calculi for Mobile Processes http://lampwww.epfl.ch/mobility/ 2 comments theory
- Sound Generic Java type inference http://lampwww.epfl.ch/~odersky/ftp/local-ti.ps 0 comments theory