5571 results in Programming Languages and Applied Logic
Bibliography
-
- Book:
- The Muse Method for Usability Engineering
- Published online:
- 12 May 2010
- Print publication:
- 24 November 1994, pp 319-324
-
- Chapter
- Export citation
Chapter 1 - On Human Factors Contributions to the Development of Interactive Systems
-
- Book:
- The Muse Method for Usability Engineering
- Published online:
- 12 May 2010
- Print publication:
- 24 November 1994, pp 2-33
-
- Chapter
- Export citation
Chapter 3 - An Overview of MUSE
-
- Book:
- The Muse Method for Usability Engineering
- Published online:
- 12 May 2010
- Print publication:
- 24 November 1994, pp 65-83
-
- Chapter
- Export citation
6 - Theory into practice
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp 67-77
-
- Chapter
- Export citation
3 - Type inference for qualified types
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp 16-30
-
- Chapter
- Export citation
Index
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp 155-157
-
- Chapter
- Export citation
10 - Epilogue
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp 121-125
-
- Chapter
- Export citation
Contents
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp v-viii
-
- Chapter
- Export citation
4 - Evidence
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp 31-42
-
- Chapter
- Export citation
References
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp 148-154
-
- Chapter
- Export citation
8 - Type classes in Gofer
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp 101-113
-
- Chapter
- Export citation
Summary of notation
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp ix-xi
-
- Chapter
- Export citation
5 - Semantics and coherence
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp 43-66
-
- Chapter
- Export citation
Acknowledgements
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp xii-xii
-
- Chapter
- Export citation
7 - Type classes in Haskell
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp 78-100
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp i-iv
-
- Chapter
- Export citation
9 - Summary and future work
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp 114-120
-
- Chapter
- Export citation
Qualified Types
- Theory and Practice
-
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994
Appendix A - Proofs
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp 126-147
-
- Chapter
- Export citation
2 - Predicates
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp 6-15
-
- Chapter
- Export citation