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 >
Issue DateTitleAuthor(s)
2007A concurrent constraint handling rules implementation in Haskell with software transactional memoryLam, E.S.L.; Sulzmann, M. 
2006A framework for extended algebraic data typesSulzmann, M. ; Wazny, J.; Stuckey, P.J.
2005A theory of overloadingStuckey, P.J.; Sulzmann, M. 
2006A type-safe embedding of XDuce into MLSulzmann, M. ; Lu, K.Z.M.
2004An implementation of subtyping among regular expression typesLu, K.Z.M.; Sulzmann, M. 
2007Aspect-oriented programming with type classesSulzmann, M. ; Wang, M.
2002Exception analysis for non-strict languagesGlynn, K.; Stuckey, P.J.; Sulzmann, M. ; Søndergaard, H.
2006Extracting programs from type class proofsSulzmann, M. 
2008HM(X) type inference is CLP(X) solvingSulzmann, M. ; Stuckey, P.J.
2004Improving type error diagnosisStuckey, P.J.; Sulzmann, M. ; Wazny, J.
2003Interactive Type Debugging in HaskellStuckey, P.J.; Sulzmann, M. ; Wazny, J.
2007Language-Based Program Verification via Expressive TypesSulzmann, M. ; Voicu, R. 
2006Modular generic programming with extensible superclassesSulzmann, M. ; Wang, M. 
2007Observable confluence for constraint handling rulesDuck, G.J.; Stuckey, P.J.; Sulzmann, M. 
2006Principal type inference for GHC-style multi-parameter type classesSulzmann, M. ; Schrijvers, T.; Stuckey, P.J.
2003Resource usage verificationMarriott, K.; Stuckey, P.J.; Sulzmann, M. 
2004Sound and decidable type inference for functional dependenciesDuck, G.J.; Peyton-Jones, S.; Stuckey, P.J.; Sulzmann, M. 
2007System F with type equality coercionsSulzmann, M. ; Chakravarty, M.M.T.; Jones, S.P.; Donnelly, K.
2006Type processing by constraint reasoningStuckey, P.J.; Sulzmann, M. ; Wazny, J.
2007Understanding functional dependencies via constraint handling rulesSulzmann, M. ; Duck, G.J.; Peyton-Jones, S.; Stuckey, P.J.