| Webmaster | Disclaimer | Last modified: 2002-12-16 14:37 UTC |
|
MOVES: Software Modeling and Verification (Informatik 2) |
|||
| Computer Science / RWTH / I2 / Staff / Current / Mohnen / CP / Ghc | ||||
|
|
We have implemented context patterns as extension of Haskell. The implementation is based on the The Glasgow Haskell Compiler. The current implementation is to be consider of alpha quality and does not yet support the extended context as described in the most recent paper Context Patterns, Part II. Currently, you can download the following files:
Context Patterns
Markus Mohnen Last modified: Dec 16 2002 |