DAML+OIL
daml+oil.daml
- daml+oil language specification with namespace bug-fixes
datatypes.html
- proposal for language extension to include concrete datatypes
semantics.html
- model-theoretic semantics covering the proposed language extension