My PhD student Kenny has just submitted his thesis on XHaskell - Adding Regular Expression Type to Haskell.
You can download the latest XHaskell implementation and Kenny's thesis draft here
Labels
- actor (2)
- boosting (2)
- communicating FA (2)
- concurrency (11)
- constraint handling rules (3)
- control (1)
- coordination (2)
- erlang (1)
- guards (1)
- haskell (4)
- join (5)
- join pattern (1)
- library (2)
- multi-set rewrite rules (4)
- parallelism (3)
- partial derivatives (2)
- partial evaluation (2)
- regular expressions (4)
- software transactional memory (4)
- types (1)
- uppaal (2)
0 comments:
Post a Comment