نتائج بحث المؤلف

1

Extracting programs from type class proofs

بواسطة Sulzmann, M.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

2

Aspect-oriented programming with type classes

بواسطة Sulzmann, M., Wang, M.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

3

Modular generic programming with extensible superclasses

بواسطة Sulzmann, M., Wang, M.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

4

Language-Based Program Verification via Expressive Types

بواسطة Sulzmann, M., Voicu, R.
منشور في 2013

احصل على النص الكامل

مقال

5

A concurrent constraint handling rules implementation in Haskell with software transactional memory

بواسطة Lam, E.S.L., Sulzmann, M.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

6

HM(X) type inference is CLP(X) solving

بواسطة Sulzmann, M., Stuckey, P.J.
منشور في 2013

احصل على النص الكامل

مقال

7

A theory of overloading

بواسطة Stuckey, P.J., Sulzmann, M.
منشور في 2013

احصل على النص الكامل

مقال

8

An implementation of subtyping among regular expression types

بواسطة Lu, K.Z.M., Sulzmann, M.
منشور في 2013

احصل على النص الكامل

مقال

9

A type-safe embedding of XDuce into ML

بواسطة Sulzmann, M., Lu, K.Z.M.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

10

XHaskell - Adding regular expression types to Haskell

بواسطة Sulzmann, M., Lu, K.Z.M.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

11

Principal type inference for GHC-style multi-parameter type classes

بواسطة Sulzmann, M., Schrijvers, T., Stuckey, P.J.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

12

A framework for extended algebraic data types

بواسطة Sulzmann, M., Wazny, J., Stuckey, P.J.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

13

Improving type error diagnosis

بواسطة Stuckey, P.J., Sulzmann, M., Wazny, J.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

14

Type processing by constraint reasoning

بواسطة Stuckey, P.J., Sulzmann, M., Wazny, J.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

15

Interactive Type Debugging in Haskell

بواسطة Stuckey, P.J., Sulzmann, M., Wazny, J.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

16

Resource usage verification

بواسطة Marriott, K., Stuckey, P.J., Sulzmann, M.
منشور في 2013

احصل على النص الكامل

مقال

17

Observable confluence for constraint handling rules

بواسطة Duck, G.J., Stuckey, P.J., Sulzmann, M.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

18

Exception analysis for non-strict languages

بواسطة Glynn, K., Stuckey, P.J., Sulzmann, M., Søndergaard, H.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

19

System F with type equality coercions

بواسطة Sulzmann, M., Chakravarty, M.M.T., Jones, S.P., Donnelly, K.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

20

Sound and decidable type inference for functional dependencies

بواسطة Duck, G.J., Peyton-Jones, S., Stuckey, P.J., Sulzmann, M.
منشور في 2013

احصل على النص الكامل

مقال