skip to main | skip to sidebar

Martin Sulzmann's Blog

Monday, 1 December 2008

XHaskell

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
Posted by Martin Sulzmann at 10:00
Labels: haskell, regular expressions

No comments:

Post a Comment

Newer Post Older Post Home
Subscribe to: Post Comments (Atom)

Labels

  • actor
  • boosting
  • communicating FA
  • concurrency
  • constraint handling rules
  • control
  • coordination
  • dsl
  • erlang
  • formal methods
  • guards
  • haskell
  • join
  • join pattern
  • library
  • linear temporal logic
  • model-checking
  • multi-set rewrite rules
  • parallelism
  • partial derivatives
  • partial evaluation
  • proofs are programs
  • regular expressions
  • software transactional memory
  • types
  • uppaal

Blog Archive

  • ►  2013 (1)
    • ►  January (1)
  • ►  2012 (4)
    • ►  September (1)
    • ►  July (1)
    • ►  June (2)
  • ►  2011 (1)
    • ►  October (1)
  • ►  2010 (1)
    • ►  April (1)
  • ►  2009 (1)
    • ►  November (1)
  • ▼  2008 (17)
    • ▼  December (5)
      • Equality, containment and intersection among regul...
      • Parallel Join Patterns with Guards and Propagation
      • Concurrent Goal-Based Execution of Constraint Hand...
      • STM with control: Communication for retrying trans...
      • XHaskell
    • ►  November (8)
    • ►  October (2)
    • ►  May (1)
    • ►  April (1)