Search results

* System F with Type Equality Coercions, ''Martin Sulzmann, Manuel Chakravarty, Simon Peyton-Jones'', International Conference on Func

;[http://www.cs.mu.oz.au/~sulzmann/publications/extract-typeclassproofs.pdf Extracting Programs from Type Clas :Martin Sulzmann, 2006

*[http://ww2.cs.mu.oz.au/~sulzmann/ Martin Sulzmann]

...] Tom Schrijvers, Simon Peyton-Jones, Manuel M. T. Chakravarty, and Martin Sulzmann. In ''Proceedings of ICFP 2008 : The 13th ACM SIGPLAN International Confer

...oz.au/~sulzmann/ Martin Sulzmann] and Meng Wang. [http://www.cs.mu.oz.au/~sulzmann/2005.html Many other papers]. The talk mentions also the notion of [[phanto

* Martin Sulzmann's regexpr-symbolic - Equality, containment, intersection among regular expr

;[http://web.archive.org/web/20080120074832/http://www.comp.nus.edu.sg/~sulzmann/publications/plpv06-langverification.ps Language-Based Program Verification :Martin Sulzmann and Razvan Voicu. In Programming Languages meet Program Verification (PLPV'

...p.nus.edu.sg/taichiwiki/CCHR CCHR: STM-based CHR implementation by Lam and Sulzmann]

* "Existentially quantified type classes" by Stuckey, Sulzmann and Wazny (URL?)

* Some references have the form "Sulzman et al. (Sulzmann et al. 2006); consider using \citet.

...u/~chak/papers/SCPD07.html System F with Type Equality Coercions.] Martin Sulzmann, Manuel M. T. Chakravarty, Simon Peyton Jones, and Kevin Donnelly. In ''Pro ...ns.] Tom Schrijvers, Simon Peyton-Jones, Manuel M. T. Chakravarty, Martin Sulzmann. In ''Proceedings of The 13th ACM SIGPLAN International Conference on Funct

:Martin Sulzmann, Manuel M. T. Chakravarty, and Simon Peyton Jones.