Papers tagged type systems
- A Critique of Java
- A Practical Optional Type System for Clojure
- Data types a la carte
- Effects as Capabilities: Effect Handling in Haskell
- Elm: Automatically Deriving and Enforcing Data-Centric Safety Properties in Web Applications
- Extensible Effects: An Alternative to Monad Transformers
- Extensible Pattern Matching for Extensible Languages
- Freer Monads, More Extensible Effects
- Gradual Typing Bibliography
- Liquid Types
- On Understanding Types, Data Abstraction, and Polymorphism
- Predicate Dispatching: A Unified Theory of Dispatch
- Principal Type-Schemes for Functional Programs
- Programming Languages: Application and Interpretation
- Revisiting Monads for State
- The Derivative of a Regular Type is its Type of One-Hole Contexts
- The Essence of Functional Programming
- Towards a framework for programming environments