411 entries, 82 available online (Fri Feb 10 18:55:52 GMT 2006)
- on SAC
- Abstract Models
- Category Theorie
- LAMBDA-Calculus
- PSI-Calculus
- Application Programs
- Algorithms
- Benchmarking
- Implmentation
- Benchmarks
- Compilers
- Compilation Schemes
- Compiler Optimization
- Array Allocation Optimizations
- Array Contraction
- Array Data Layout
- Cache Utilization
- Compiler Optimization Surveys
- Dead Code Elimination
- Deforestation
- Folding of Array Comprehensions
- Fusion of Functions
- Fusion of Loops
- Garbage Collection
- Loop Transformation
- Memoisation
- Partial Evaluation
- Strictness Analysis
- Tupling
- Exploiting Concurrency
- Implementation of Arrays
- Dense Arrays
- Sparse Arrays
- Integration of I/O
- Frames
- Fudgets
- Gadgets
- I/O Surveys
- Linear Types
- Monads
- Uniqueness
- Integration of States in General
- Types and Typesystems
- Dependent Types
- Indexed Types
- Intersection Types
- Linear Types
- Sized Types
- Type Classes
- Types in General
- Uniqueness Types
- Forsythe
- Functional Programming in General
- Hardware
- CM
- Fast
- KSR
- nCUBE
- Hardware
- CM
- Fast
- KSR
- nCUBE
- Languages
- Coordination
- K2
- PROMOTER
- Functional
- CAML
- Cayenne
- Cid
- Clean
- Fish
- Haskell
- Id
- KiR
- Nesl
- QNial
- SAC
- Sisal
- Imperative
- APL
- C
- Fortran
- Fortran90
- FortranM
- HPF
- J
- Jade
- Java
- K
- ZPL
- Language Design
- Language Manuals
- Masterthesis/PhD
- Miscellaneous
- Operating Systems
- Papers I am Involved in
- on KiR
- on SAC
- Petri Nets
- Shared Memory
- Smalltalk
- Software Packages
- MPI
- P4
- PThreads
- PVM
- SUIF
- X-Windows
- Synchronization
- To Be Read
generated by
bookshelf,
Fri Feb 10 18:55:52 GMT 2006
comqss@herts.ac.uk