{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:44Z","timestamp":1761611144722},"reference-count":0,"publisher":"World Scientific Pub Co Pte Lt","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[1991,3]]},"abstract":"<jats:p> We explore ideal models for a programming language with recursive polymorphic types, variants of the model studied by MacQueen, Plotkin, and Sethi. The use of suitable ideals yields a close fit between models and programming language. Two of our semantics of type expressions are faithful, in the sense that programs that behave identically in all contexts have exactly the same types. <\/jats:p>","DOI":"10.1142\/s0129054191000029","type":"journal-article","created":{"date-parts":[[2004,11,25]],"date-time":"2004-11-25T07:12:21Z","timestamp":1101366741000},"page":"1-21","source":"Crossref","is-referenced-by-count":6,"title":["FAITHFUL IDEAL MODELS FOR RECURSIVE POLYMORPHIC TYPES"],"prefix":"10.1142","volume":"02","author":[{"given":"MART\u00cdN","family":"ABADI","sequence":"first","affiliation":[{"name":"Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, USA"}]},{"given":"BENJAMIN","family":"PIERCE","sequence":"additional","affiliation":[{"name":"School of Computer Science, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA 15213, USA"}]},{"given":"GORDON","family":"PLOTKIN","sequence":"additional","affiliation":[{"name":"Department of Computer Science, King\u2019s Building, University of Edinburgh, Edinburgh, EH9 3JZ, UK"}]}],"member":"219","published-online":{"date-parts":[[2011,11,20]]},"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129054191000029","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T20:53:40Z","timestamp":1565124820000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129054191000029"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,3]]},"references-count":0,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2011,11,20]]},"published-print":{"date-parts":[[1991,3]]}},"alternative-id":["10.1142\/S0129054191000029"],"URL":"https:\/\/doi.org\/10.1142\/s0129054191000029","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"value":"0129-0541","type":"print"},{"value":"1793-6373","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,3]]}}}