Welcome to the Cambridge Programming Research Group's blog. The CPRG is a research group in the Computer Laboratory at the University of Cambridge. The group is also part of a larger group at the Computer Lab known as PLS, or Programming, Logic, and Semantics.
This blog is authored by members of the CPRG containing posts related to the research of the CPRG and interesting, relevant research from elsewhere. This includes research relating to: programming language design, compilers, interpreters, virtual machines, portable target codes, program analysis, program transformations, and optimisation. Other related topics include: fast typical-case solutions to NP problems, algebraic manipulation by computer, and compiler/hardware trade-offs.
skip to main |
skip to sidebar
Authored by members of the Cambridge Programming Research Group in the Computer Lab at the University of Cambridge, this blog contains posts related to the research of the CPRG and relevant research from elsewhere.
Blog Archive
Contributors
Labels
- compilers (1)
- constraints (1)
- dsl (2)
- flash (1)
- funding (1)
- haskell (4)
- languages (1)
- parallelism (1)
- type classes (1)
- types (2)
- ypnos (1)
