Scala@PLDI

Keyphrases

Publications

2015

Nicolas Voirol, Etienne Kneuss, Viktor Kuncak
Counter-example complete verification for higher-order functions. Scala@PLDI (2015)
Proceedings of the 6th ACM SIGPLAN Symposium on Scala, Scala@PLDI 2015, Portland, OR, USA, June 15-17, 2015 Scala@PLDI (2015)
Christopher Métrailler, Pierre-André Mudry
ESPeciaL: an embedded systems programming language. Scala@PLDI (2015)
Patrick Prémont
Referential integrity with Scala types. Scala@PLDI (2015)
Manohar Jonnalagedda, Sandro Stucki
Fold-based fusion as a library: a generative programming pearl. Scala@PLDI (2015)
Aleksandar Prokopec
SnapQueue: lock-free queue with constant time snapshots. Scala@PLDI (2015)
Philippe Suter, Olivier Tardieu, Josh Milthorpe
Distributed programming in Scala with APGAS. Scala@PLDI (2015)
Régis Blanc, Viktor Kuncak
Sound reasoning about integral data types with a reusable SMT solver interface. Scala@PLDI (2015)