Qualified Types
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Cambridge University Press

9780521543262, 9780521472531, 9780511663086

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Type classes in Gofer

Qualified Types ◽

10.1017/cbo9780511663086.009 ◽

1994 ◽

pp. 101-113

Keyword(s):

Type Classes

Download Full-text

Summary of notation

Qualified Types ◽

10.1017/cbo9780511663086.001 ◽

1994 ◽

pp. ix-xi

Download Full-text

References

Qualified Types ◽

10.1017/cbo9780511663086.013 ◽

1994 ◽

pp. 148-154

Download Full-text

Type classes in Haskell

Qualified Types ◽

10.1017/cbo9780511663086.008 ◽

1994 ◽

pp. 78-100

Keyword(s):

Type Classes

Download Full-text

Semantics and coherence

Qualified Types ◽

10.1017/cbo9780511663086.006 ◽

1994 ◽

pp. 43-66

Download Full-text

Evidence

Qualified Types ◽

10.1017/cbo9780511663086.005 ◽

1994 ◽

pp. 31-42 ◽

Cited By ~ 1

Download Full-text

Proofs

Qualified Types ◽

10.1017/cbo9780511663086.012 ◽

1994 ◽

pp. 126-147

Download Full-text

Epilogue

Qualified Types ◽

10.1017/cbo9780511663086.011 ◽

1994 ◽

pp. 121-125

Download Full-text

Theory into practice

Qualified Types ◽

10.1017/cbo9780511663086.007 ◽

1994 ◽

pp. 67-77

Download Full-text

Predicates

Qualified Types ◽

10.1017/cbo9780511663086.003 ◽

1994 ◽

pp. 6-15

Download Full-text