{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:55:15Z","timestamp":1725558915313},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540243625"},{"type":"electronic","value":"9783540305576"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-30557-6_19","type":"book-chapter","created":{"date-parts":[[2010,7,2]],"date-time":"2010-07-02T17:53:17Z","timestamp":1278093197000},"page":"253-267","source":"Crossref","is-referenced-by-count":11,"title":["Type Class Directives"],"prefix":"10.1007","author":[{"given":"Bastiaan","family":"Heeren","sequence":"first","affiliation":[]},{"given":"Jurriaan","family":"Hage","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"McAdam, B.: How to repair type errors automatically. In: 3rd Scottish Workshop on Functional Programming, Stirling, U.K., pp. 121\u2013135 (2001)"},{"key":"19_CR2","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1093\/comjnl\/45.4.436","volume":"45","author":"J. Yang","year":"2002","unstructured":"Yang, J., Michaelson, G., Trinder, P.: Explaining polymorphic types. The Computer Journal\u00a045, 436\u2013452 (2002)","journal-title":"The Computer Journal"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Haack, C., Wells, J.B.: Type error slicing in implicitly typed higher-order languages. In: Proceedings of the 12th European Symposium on Programming, pp. 284\u2013301 (2003)","DOI":"10.1007\/3-540-36575-3_20"},{"key":"19_CR4","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/871895.871903","volume-title":"Haskell Workshop","author":"P. Stuckey","year":"2003","unstructured":"Stuckey, P., Sulzmann, M., Wazny, J.: Interactive type debugging in Haskell. In: Haskell Workshop, pp. 72\u201383. ACM Press, New York (2003)"},{"volume-title":"Haskell 98 Language and Libraries: The Revised Report","year":"2003","key":"19_CR5","unstructured":"Peyton Jones, S. (ed.): Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, Cambridge (2003), http:\/\/www.haskell.org\/onlinereport\/"},{"key":"19_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/944705.944707","volume-title":"Eighth ACM Sigplan International Conference on Functional Programming","author":"B. Heeren","year":"2003","unstructured":"Heeren, B., Hage, J., Swierstra, S.D.: Scripting the type inference process. In: Eighth ACM Sigplan International Conference on Functional Programming, pp. 3\u201313. ACM Press, New York (2003)"},{"key":"19_CR7","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1145\/871895.871902","volume-title":"ACM Sigplan 2003 Haskell Workshop","author":"B. Heeren","year":"2003","unstructured":"Heeren, B., Leijen, D., van IJzendoorn, A.: Helium, for learning Haskell. In: ACM Sigplan 2003 Haskell Workshop, pp. 62\u201371. ACM Press, New York (2003), http:\/\/www.cs.uu.nl\/helium"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Jones, M.P.: Simplifying and improving qualified types. In: International Conference on Functional Programming Languages and Computer Architecture, pp. 160\u2013169 (1995)","DOI":"10.1145\/224164.224198"},{"key":"19_CR9","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"Milner, R.: A theory of type polymorphism in programming. Journal of Computer and System Sciences\u00a017, 348\u2013375 (1978)","journal-title":"Journal of Computer and System Sciences"},{"key":"19_CR10","unstructured":"Jones, M.P.: Typing Haskell in Haskell. In: Haskell Workshop (1999)"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Wand, M.: Finding the source of type errors. In: Conference Record of the 13th Annual ACM Symposium on Principles of Programming Languages, St. Petersburg, FL, pp. 38\u201343 (1986)","DOI":"10.1145\/512644.512648"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Walz, J.A., Johnson, G.F.: A maximum flow approach to anomaly isolation in unification-based incremental type inference. In: Conference Record of the 13th Annual ACM Symposium on Principles of Programming Languages, St. Petersburg, FL, pp. 44\u201357 (1986)","DOI":"10.1145\/512644.512649"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Shields, M., Peyton Jones, S.: Object-oriented style overloading for Haskell. In: Workshop on Multi-Language Infrastructure and Interoperability, BABEL 2001 (2001)","DOI":"10.1016\/S1571-0661(05)80455-4"},{"key":"19_CR14","unstructured":"Glynn, K., Stuckey, P., Sulzmann, M.: Type classes and constraint handling rules. In: First Workshop on Rule-Based Constraint Reasoning and Programming (2000)"},{"key":"19_CR15","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1017\/S0956796801004208","volume":"12","author":"R.B. Findler","year":"2002","unstructured":"Findler, R.B., Clements, J., Cormac Flanagan, M.F., Krishnamurthi, S., Steckler, P., Felleisen, M.: DrScheme: A programming environment for Scheme. Journal of Functional Programming\u00a012, 159\u2013182 (2002)","journal-title":"Journal of Functional Programming"},{"key":"19_CR16","unstructured":"Peyton Jones, S., Jones, M., Meijer, E.: Type classes: an exploration of the design space. In: Haskell Workshop (1997)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30557-6_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:22:15Z","timestamp":1605759735000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30557-6_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540243625","9783540305576"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30557-6_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}