{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T16:02:30Z","timestamp":1756310550301},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642122507"},{"type":"electronic","value":"9783642122514"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12251-4_6","type":"book-chapter","created":{"date-parts":[[2010,4,9]],"date-time":"2010-04-09T23:32:42Z","timestamp":1270855962000},"page":"56-71","source":"Crossref","is-referenced-by-count":23,"title":["Haskell Type Constraints Unleashed"],"prefix":"10.1007","author":[{"given":"Dominic","family":"Orchard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Schrijvers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","volume-title":"Haskell 98 Language and Libraries: The Revised Report","author":"S. Peyton Jones","year":"2003","unstructured":"Peyton Jones, S., et al.: Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, Cambridge (2003)"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1145\/1086365.1086397","volume-title":"ICFP 2005: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming","author":"M.M.T. Chakravarty","year":"2005","unstructured":"Chakravarty, M.M.T., Keller, G., Jones, S.P.: Associated type synonyms. In: ICFP 2005: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming, pp. 241\u2013253. ACM, New York (2005)"},{"issue":"1","key":"6_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1047659.1040306","volume":"40","author":"M.M.T. Chakravarty","year":"2005","unstructured":"Chakravarty, M.M.T., Keller, G., Jones, S.P., Marlow, S.: Associated types with class. SIGPLAN Not.\u00a040(1), 1\u201313 (2005)","journal-title":"SIGPLAN Not."},{"issue":"9","key":"6_CR4","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/1411203.1411215","volume":"43","author":"T. Schrijvers","year":"2008","unstructured":"Schrijvers, T., Jones, S.P., Chakravarty, M., Sulzmann, M.: Type checking with open type functions. SIGPLAN Not.\u00a043(9), 51\u201362 (2008)","journal-title":"SIGPLAN Not."},{"key":"6_CR5","unstructured":"Stewart, D.: Domain Specific Languages for Domain Specific Problems. In: Workshop on Non-Traditional Programming Models for High-Performance Computing, LACSS (2009)"},{"key":"6_CR6","unstructured":"Meacham, J.: Class Alias Proposal for Haskell, http:\/\/repetae.net\/recent\/out\/classalias.html (last visited August 2009)"},{"key":"6_CR7","unstructured":"Jeltsch, W., van Dijk, B., van Dijk, R.: HaskellWiki: Context alias entry, http:\/\/www.haskell.org\/haskellwiki\/Context_alias (last visited August 2009)"},{"key":"6_CR8","unstructured":"Chakravarty, M., Peyton Jones, S., Sulzmann, M., Schrijvers, T.: GHC developer wiki: Class families entry, http:\/\/hackage.haskell.org\/trac\/ghc\/wiki\/TypeFunctions\/ClassFamilies (last visited August 2009)"},{"issue":"6","key":"6_CR9","doi-asserted-by":"publisher","first-page":"663","DOI":"10.1017\/S0956796809990086","volume":"19","author":"T. Schrijvers","year":"2009","unstructured":"Schrijvers, T., Stuckey, P., Wadler, P.: Monadic Constraint Programming. J. Func. Prog.\u00a019(6), 663\u2013697 (2009)","journal-title":"J. Func. Prog."},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/978-3-540-76637-7_15","volume-title":"Programming Languages and Systems","author":"J. Carette","year":"2007","unstructured":"Carette, J., Kiselyov, O., Shan, C.: Finally Tagless, Partially Evaluated. In: Shao, Z. (ed.) APLAS 2007. LNCS, vol.\u00a04807, pp. 222\u2013238. Springer, Heidelberg (2007)"},{"key":"6_CR11","unstructured":"Kiselyov, O.: Restricted Data Types Now (February 2006), http:\/\/okmij.org\/ftp\/Haskell\/RestrictedMonad.lhs"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1017\/S0956796806006137","volume":"17","author":"M. Sulzmann","year":"2007","unstructured":"Sulzmann, M., Duck, G.J., Peyton-Jones, S., Stuckey, P.J.: Understanding functional dependencies via constraint handling rules. J. Func. Prog.\u00a017, 83\u2013129 (2007)","journal-title":"J. Func. Prog."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Orchard, D., Schrijvers, T.: Haskell Type Constraints Unleashed: Companion Report. Report CW 574, Dept. of Computer Science, K.U. Leuven, Belgium (January 2010)","DOI":"10.1007\/978-3-642-12251-4_6"},{"key":"6_CR14","unstructured":"Diatchki, I.S.: High-Level Abstractions for Low-Level Programming. PhD thesis, OGI School of Science & Engineering at Oregon Health & Science University (May 2007)"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/3-540-46425-5_15","volume-title":"Programming Languages and Systems","author":"M.P. Jones","year":"2000","unstructured":"Jones, M.P.: Type classes with functional dependencies. In: Smolka, G. (ed.) ESOP 2000. LNCS, vol.\u00a01782, p. 230. Springer, Heidelberg (2000)"},{"key":"6_CR16","unstructured":"Hughes, J.: Restricted Data Types in Haskell. In: Proceedings of the 1999 Haskell Workshop. Technical Report UU-CS-1999-28, Utrecht (1999)"},{"key":"6_CR17","unstructured":"Sittampalam, G., Gavin, P.: Rmonad: Restricted monad library (2008), http:\/\/hackage.haskell.org\/package\/rmonad"},{"key":"6_CR18","unstructured":"Bolingbroke, M.: Constraint families (2009), http:\/\/blog.omega-prime.co.uk\/?p=61"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12251-4_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:52:02Z","timestamp":1606186322000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12251-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642122507","9783642122514"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12251-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}