PLT Bookmarks
Essentials
- Lambda the Ultimate | Programming Languages Weblog
Programming Languages
- Alice ML
- Alice
- Alice Manual - Futures
- AsmL
- The Abstract State Machine Language
- Boo
- Boo
- Comega
- Comega
- Modern Concurrency Abstractions for C# (.pdf)
- Erlang
- Erlang
- F#
- F#
- Factor
- Factor
- Fortress
- The Fortress Language Specification (.pdf)
- Programming Language Research
- Preliminary Fortress Interpreter
- Funnel
- Functional Nets
- Colored Local Type Inference (.ps.gz)
- Overview of Functional Nets (.ps.gz)
- Groovy
- Groovy
- Haskell
- Haskell
- The Haskell 98 Language Report
- Haskell'
- IssuesByReportStructure
- MinorFixes
- RemovalCandidates
- HaskellExtensions
- LanguageQualities
- HaXe
- ref [haXe.org]
- Heron
- Heron - The Heron Programming Language
- The Heron Programming Language Specification
- Artima Weblogs
- Heron programming language - Wikipedia, the free encyclopedia
- J
- J
- Java
- JDK 5 Documentation
- Java ist auch eine Insel
- Joy
- Joy
- K
- Kdb+ Database and Language Primer
- Kay Language
- Q Language Reference Manual
- Moby
- Moby
- Mozart / Oz
- The Mozart Programming System
- Needle
- Needle
- Nemerle
- Nemerle
- .NET
- VB.NET Specification
- C# Specification
- J# Specification
- Nice
- Nice
- O'Caml
- O'CAML
- The Objective Caml system - Documentation and user's manual
- Python
- Python Documentation
- Python Tutorial
- Python Reference
- REBOL
- REBOL Technologies
- REBOL/Core User Manual
- Appendix 1 - Values
- REBOL Language in a Nutshell
- A Quick Introduction to REBOL Scripting
- REBOL in Ten Steps
- Cookbook of REBOL Code Examples
- Ruby
- Programmierung in Ruby
- Ruby Documentation
- Ruby Home Page
- Thirty-seven Reasons I Love Ruby
- Ruby QuickRef
- SALSA
- SALSA Programming Language
- Sawzall
- Sawzall
- Scala
- Scala
- Video: The Scala Experiment (ltu)
- SETL
- SETL Programming Language Documentation
- Set Theory.com
Educational programming languages
- LFP
- CS3 Language Semantics and Implementation (Colin Stirling, UoE)
- FOFL
- CS4 Types and Programming Languages (David Aspinall, UoE)
Literature
@book{ATTAPL,
AUTHOR = {Pierce, Benjamin C.},
TITLE = {Advanced Topics in Types and Programming Languages},
YEAR = {2005},
PUBLISHER = {MIT Press},
}
@book{TAPL,
AUTHOR = {Pierce, Benjamin C.},
TITLE = {Types and Programming Languages},
YEAR = {2002},
PUBLISHER = {MIT Press},
}
@book{CTM,
author = {Peter Van Roy and Seif Haridi},
title = {Concepts, Techniques, and Models of Computer Programming},
year = {2004},
isbn = {0262220695},
publisher = {MIT Press},
address = {Cambridge, MA, USA},
}
Books on-line
PLT Disciplines and related fields 
- Compiler theory
- Type theory
- Formal semantics
- Program transformation
- Runtime systems
- Comparative programming language analysis
- Metaprogramming
- Domain-specific languages
Concurrency abstractions
Small scale
- Dataflow variables (cf. Mozart/Oz)
- Futures
- STM
- [Lenient evaluation]
- ...
Mid-scale
Large scale / Distributed
- Message passing (cf. Erlang)
- Actors
- ...
No 'one-size-fits-them-all' abstraction?
Type classes, modules, structures, etc.
Haskell type classes
Associated Types
Functional Dependencies
Named Instances
ML-style module systems
Generic programming in C++
- Jeremy G. Siek and Andrew Lumsdaine. Essential Language Support for Generic Programming. In PLDI '05: Proceedings of the ACM SIGPLAN 2005 conference on Programming language design and implementation, New York, NY, USA, pp 73-84, June 2005. ACM Press.
http://www.cs.colorado.edu/~siek/pubs/pubs/2005/siek05:_fg_pldi.pdf
- Douglas Gregor, Jaakko Järvi, Jeremy G. Siek, Gabriel Dos Reis, Bjarne Stroustrup, and Andrew Lumsdaine. Concepts: Linguistic Support for Generic Programming in C++. In Proceedings of the 2006 ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA'06), October 2006.
http://www.cs.colorado.edu/~siek/pubs/pubs/2006/gregor06:_concepts.pdf
- Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy G. Siek, and Jeremiah Willcock. A Comparative Study of Language Support for Generic Programming. In Proceedings of the 2003 ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA'03), October 2003.
http://www.cs.colorado.edu/~siek/pubs/pubs/2003/comparing_generic_programming03.pdf
On combining them
The expression problem
Dependent types and alike
λ