Period
2008 - 2008
Number
1
Co-Authors
A Type-Safe Embedding of Constraint Handling (2008)
Rules Into Haskell, Wei-ngan Chin, Martin Sulzmann, Meng Wang