- The Pointer Assertion Logic Engine http://www.brics.dk/rs/00/39/brics-rs-00-39.pdf 12 comments rust
- Polymorphic Embedding of DSLs http://www.brics.dk/~mis/dovs/slides/polydsl.pdf 6 comments programming
- Defunctionalization at work [pdf] http://www.brics.dk/rs/01/23/brics-rs-01-23.pdf 3 comments programming
- Functional unparsing (statically type-safe printf) http://www.brics.dk/rs/98/12/ 12 comments programming
- Do we Need Dependent Types? http://www.brics.dk/rs/01/10/ 13 comments programming
- Lecture Notes on Static Analysis [pdf] http://www.brics.dk/~mis/static.pdf 3 comments programming
- Where Scheme came from. [pdf] http://www.brics.dk/~hosc/local/hosc-11-4-pp399-404.pdf 6 comments programming
- RealLib - fast computation with exact real numbers http://www.brics.dk/~barnie/reallib/ 6 comments programming
Lambda the Ultimate
- On One-Pass CPS Transformations http://www.brics.dk/RS/07/6/index.html 0 comments Lambda Calculus
- A functional correspondence between evaluators and abstract machines http://www.brics.dk/RS/03/13/BRICS-RS-03-13.pdf 6 comments Implementation , Semantics
- A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations http://www.brics.dk/RS/06/15/BRICS-RS-06-15.pdf 1 comment Semantics
- Bottom-Up beta-Substitution: Uplinks and lambda-DAGs http://www.brics.dk/RS/04/38/BRICS-RS-04-38.pdf 3 comments Functional , Lambda Calculus
- JWIG: Java Extensions for High-Level Web Service Development http://www.brics.dk/JWIG/ 0 comments general
- A Foundation for Embedded Languages http://www.brics.dk/RS/02/34/ 0 comments functional
- Obtaining KMP String Matcher by Partial Evaluation http://www.brics.dk/RS/02/32/BRICS-RS-02-32.pdf 4 comments general
- Do we Need Dependent Types? http://www.brics.dk/RS/01/10/ 2 comments theory
- <bigwig> http://www.brics.dk/bigwig/ 0 comments general
- BRICS Activities http://www.brics.dk/Activities/ 0 comments general