Search results

Jump to: navigation, search
  • ...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
    8 KB (1,381 words) - 05:18, 10 December 2020
  • :Martin Sulzmann, Manuel M. T. Chakravarty, and Simon Peyton Jones.
    18 KB (2,524 words) - 13:34, 6 June 2014
  • ;[http://www.cs.mu.oz.au/~sulzmann/publications/extract-typeclassproofs.pdf Extracting Programs from Type Clas :Martin Sulzmann, 2006
    25 KB (3,476 words) - 23:13, 15 December 2020
  • ;[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'
    11 KB (1,484 words) - 12:29, 10 January 2016
  • *[http://ww2.cs.mu.oz.au/~sulzmann/ Martin Sulzmann]
    8 KB (1,362 words) - 17:21, 3 October 2015
  • ...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
    42 KB (6,831 words) - 19:16, 3 February 2021
  • ...p.nus.edu.sg/taichiwiki/CCHR CCHR: STM-based CHR implementation by Lam and Sulzmann]
    12 KB (1,707 words) - 07:27, 10 March 2020
  • * Martin Sulzmann's regexpr-symbolic - Equality, containment, intersection among regular expr
    18 KB (2,819 words) - 19:20, 15 August 2019
  • ...] Tom Schrijvers, Simon Peyton-Jones, Manuel M. T. Chakravarty, and Martin Sulzmann. In ''Proceedings of ICFP 2008 : The 13th ACM SIGPLAN International Confer
    8 KB (1,153 words) - 13:18, 2 December 2008
  • * "Existentially quantified type classes" by Stuckey, Sulzmann and Wazny (URL?)
    14 KB (2,319 words) - 21:57, 16 September 2015
  • * System F with Type Equality Coercions, ''Martin Sulzmann, Manuel Chakravarty, Simon Peyton-Jones'', International Conference on Func
    2 KB (342 words) - 00:47, 24 February 2018
  • * Some references have the form "Sulzman et al. (Sulzmann et al. 2006); consider using \citet.
    9 KB (1,517 words) - 14:45, 11 April 2011