Browsing DSpace | ScholarBank@NUS

Browsing by Author SULZMANN,MARTIN

Select a letter below to browse by last name or type
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Showing results 1 to 20 of 21 next >

Refman EndNote Bibtex RefWorks Excel CSV PDF Send via email

Issue Date	Title	Author(s)
2007	A concurrent constraint handling rules implementation in Haskell with software transactional memory	Lam, E.S.L.; Sulzmann, M.
2006	A framework for extended algebraic data types	Sulzmann, M. ; Wazny, J.; Stuckey, P.J.
2005	A theory of overloading	Stuckey, P.J.; Sulzmann, M.
2006	A type-safe embedding of XDuce into ML	Sulzmann, M. ; Lu, K.Z.M.
2004	An implementation of subtyping among regular expression types	Lu, K.Z.M.; Sulzmann, M.
2007	Aspect-oriented programming with type classes	Sulzmann, M. ; Wang, M.
2002	Exception analysis for non-strict languages	Glynn, K.; Stuckey, P.J.; Sulzmann, M. ; Søndergaard, H.
2006	Extracting programs from type class proofs	Sulzmann, M.
2008	HM(X) type inference is CLP(X) solving	Sulzmann, M. ; Stuckey, P.J.
2004	Improving type error diagnosis	Stuckey, P.J.; Sulzmann, M. ; Wazny, J.
2003	Interactive Type Debugging in Haskell	Stuckey, P.J.; Sulzmann, M. ; Wazny, J.
2007	Language-Based Program Verification via Expressive Types	Sulzmann, M. ; Voicu, R.
2006	Modular generic programming with extensible superclasses	Sulzmann, M. ; Wang, M.
2007	Observable confluence for constraint handling rules	Duck, G.J.; Stuckey, P.J.; Sulzmann, M.
2006	Principal type inference for GHC-style multi-parameter type classes	Sulzmann, M. ; Schrijvers, T.; Stuckey, P.J.
2003	Resource usage verification	Marriott, K.; Stuckey, P.J.; Sulzmann, M.
2004	Sound and decidable type inference for functional dependencies	Duck, G.J.; Peyton-Jones, S.; Stuckey, P.J.; Sulzmann, M.
2007	System F with type equality coercions	Sulzmann, M. ; Chakravarty, M.M.T.; Jones, S.P.; Donnelly, K.
2006	Type processing by constraint reasoning	Stuckey, P.J.; Sulzmann, M. ; Wazny, J.
2007	Understanding functional dependencies via constraint handling rules	Sulzmann, M. ; Duck, G.J.; Peyton-Jones, S.; Stuckey, P.J.

Showing results 1 to 20 of 21 next >