{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T23:05:26Z","timestamp":1779836726099,"version":"3.53.1"},"reference-count":0,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Funct. Prog."],"published-print":{"date-parts":[[2000,1]]},"abstract":"<jats:p>The understanding of polymorphic typechecking and type errors is poorly supported by \ncontemporary functional language implementations. Here, a novel visualisation of functions \nand their types is presented based on the generation of function specific icons with graphical \ntype representations which change dynamically as functions are applied. This visualisation \nhas been implemented for a Standard ML subset within a graphical environment in which \nfunction combinations are constrained by type matching.<\/jats:p>","DOI":"10.1017\/s0956796899003597","type":"journal-article","created":{"date-parts":[[2002,7,27]],"date-time":"2002-07-27T09:26:15Z","timestamp":1027761975000},"page":"57-75","source":"Crossref","is-referenced-by-count":10,"title":["A visualisation of polymorphic type checking"],"prefix":"10.1017","volume":"10","author":[{"given":"YANG","family":"JUNG","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"GREG","family":"MICHAELSON","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2000,1,1]]},"container-title":["Journal of Functional Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0956796899003597","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T22:35:35Z","timestamp":1779834935000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0956796899003597\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,1]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2000,1]]}},"alternative-id":["S0956796899003597"],"URL":"https:\/\/doi.org\/10.1017\/s0956796899003597","relation":{},"ISSN":["0956-7968","1469-7653"],"issn-type":[{"value":"0956-7968","type":"print"},{"value":"1469-7653","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,1]]}}}