510 entries, 292 available online (Mon Sep 18 16:07:18 BST
2000)
This virtual bookshelf is no longer updated, but used to
be
generated automatically from my BibTeX-database. It contains
references to publications
- related to current work or interests - that I have read
(well, more or less) and want easy access to.
If you find any errors or can direct me to publications
related to the topics mentioned here (especially first class input/output,
first class modules, persistence, and reflection for functional languages),
feel free to drop me an email.
- Aspects of Programming Languages
- Component-Based Programming
- Concurrency
- Data Abstraction
- Foreign Function Interfaces
- History
- Human Computer Interfaces
- Language Design/Semantics
- Libraries and Tools
- Modules
- Object-Orientation
- Persistence
- Programming Environments
- Programming/Software Engineering
- Records
- Rewrite Systems
- Semantics
- Type Systems
- Functional Programming
- FP - General
- FP - Graphics/Visual
- FP - Implementation
- FP - Input/Output
- FP - Lambda Calculi
- FP - Languages
- Clean
- FFI
- Haskell
- Hope
- Kiel Reduction Language
- Lisp/Scheme
- ML2000
- Misc. Functional Languages
- Poly
- Standard ML
- FP - Monads
- FP - Nonsequential Execution
- FP - Programming
- FP - State
- Groups and Projects
- Logical Programming
- LP - General
- LP - Implementation
- LP - Languages
- LP - Nonsequential Execution
- LP - Programming
- LP - Unification
- Miscellaneous
- Non-Functional Programming Languages
- Java
- Miscellaneous Languages
- Simula
- SmallTalk
- Other Virtual Bookshelfs
- Reasoning (about Programs)
- Attribute Grammars
- Knowledge Representation
- Logic/Category Theory
- Partial Evaluation
- Reflection/Meta-Programming
- Static Analysis
- Theorem Proving/Logical Frameworks
- Type Systems
- Syntax
- Ubiquitous Computing
- Visual Programming
- Petri Nets
- UML
- VRML
generated by
bookshelf,
Mon Sep 18 16:07:18 BST 2000
cr3@ukc.ac.uk