Papers tagged programming languages
- A Beginner's Guide to OCaml Garbage Collection
- A Critique of Java
- A Practical Optional Type System for Clojure
- A Unified Theory of Garbage Collection
- ACTORS: A Model of Concurrent Computation in Distributed Systems
- Compiling Pattern Matching to Good Decision Trees
- Composable and Compilable Macros: You Want it When?
- Concurrent Cycle Collection in Reference Counted Systems
- COPS: Consistency-based Service Oriented Programming Support
- Data types a la carte
- Design Principles Behind Smalltalk
- Early LISP History: 1956-1959
- Effects as Capabilities: Effect Handling in Haskell
- Epitaxis: A System for Syntactic and Semantic Software Queries
- Equal Rights for Functional Objects or, The More Things Change, The More They Are the Same
- ESC/Java User Manual
- Event-driven FRP
- Extensible Pattern Matching for Extensible Languages
- Frappe: Functional Reactive Programming in Java
- Functional Reactive Programming in PLT Scheme
- Garbage Collection: Algorithms for Automatic Dynamic Memory Management
- Gradual Typing Bibliography
- Incremental Collection of Mature Objects
- Liquid Types
- MMTk: A Design Plan for the Next Generation Memory Management Toolkit
- No Motion Garbage Collection
- On Understanding Types, Data Abstraction, and Polymorphism
- One VM to Rule Them All
- Parallel Generational-Copying Garbage Collection with a Block-Structured Heap
- Principal Type-Schemes for Functional Programs
- Programming Languages: Application and Interpretation
- Programming Languages: History and Future
- Real-Time Function Reactive Programming
- Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I
- Relaxed Memory Models: An Operational Approach
- Revisiting Monads for State
- Tackling the Awkward Squad: Monadic Input/Output, Concurrency, Exceptions, and Foreign-language Calls in Haskell
- The Derivative of a Regular Type is its Type of One-Hole Contexts
- The Development of the C Language
- The Early History Of Smalltalk
- The Essence of Functional Programming
- The Next 700 Programming Languages
- Theory in Programming Practice
- Traits: A Mechanism for Fine-Grained Reuse
- Viewing Control Structures as Patterns of Passing Messages
- Warnings for Pattern Matching