Instruct: Given a paper title, retrieve paper titles that are cited by the given paper.
Query: fighting bit rot with types ( experience report : scala collections ) .
an overview of the scala programming language .
Pipsqueak: Lean Lambdas with Large Libraries
Ethos' Deeply Integrated Distributed Types
Dependent types in practical programming
Sneaking around concatMap: efficient combinators for dynamic programming
Scala Actors: Unifying thread-based and event-based programming
A survey on reactive programming
Chisel: constructing hardware in a Scala embedded language
Scrap your boilerplate: a practical design pattern for generic programming
CoCaml: Functional Programming with Regular Coinductive Types
The cartesian product algorithm: Simple and precise type inference of parametric polymorphism
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
Refined typechecking with Stardust
Typecasting actors: from Akka to TAkka
Outrageous but meaningful coincidences: dependent type-safe syntax and evaluation
Dataflow and Type-based Formulations for Reference Immutability
CCured: type-safe retrofitting of legacy code
Type inference, Haskell and dependent types
Functional Programming
Dependently typed programming with singletons
Bladder cancer, a review of the environmental risk factors
A Survey on Metric Learning for Feature Vectors and Structured Data
Featherweight Java: a minimal core calculus for Java and GJ
3D Role-playing Games as Language Learning Tools
Gate stack engineering to enhance high-κ/metal gate reliability for DRAM I/O applications