DC Field | Value | Language |
---|---|---|
dc.contributor.author | Eo, H | ko |
dc.contributor.author | Lee, O | ko |
dc.contributor.author | Yi, KK | ko |
dc.date.accessioned | 2013-03-03T19:45:24Z | - |
dc.date.available | 2013-03-03T19:45:24Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 2004 | - |
dc.identifier.citation | NEW GENERATION COMPUTING, v.22, no.1, pp.1 - 36 | - |
dc.identifier.issn | 0288-3635 | - |
dc.identifier.uri | http://hdl.handle.net/10203/80178 | - |
dc.description.abstract | We present a generalized let-polymorphic type inference algorithm, prove that any of its instances is sound and complete with respect to the Hindley/Milner let-polymorphic type system, and find a condition on two instance algorithms so that one algorithm should find type errors earlier than the other. By instantiating the generalized algorithm with different parameters, we can obtain not only the two opposite algorithms (the bottom-up standard algorithm W and the top-down algorithm M) but also other hybrid algorithms which are used in real compilers. Such instances' soundness and completeness follow automatically, and their relative earliness in detecting type-errors is determined by checking a simple condition. The set of instances of the generalized algorithm is a superset of those used in the two most popular ML compilers: SML/NJ and OCaml. | - |
dc.language | English | - |
dc.publisher | Springer | - |
dc.title | Proofs of a set of hybrid let-polymorphic type inference algorithms | - |
dc.type | Article | - |
dc.identifier.wosid | 000187220100001 | - |
dc.identifier.scopusid | 2-s2.0-0742268910 | - |
dc.type.rims | ART | - |
dc.citation.volume | 22 | - |
dc.citation.issue | 1 | - |
dc.citation.beginningpage | 1 | - |
dc.citation.endingpage | 36 | - |
dc.citation.publicationname | NEW GENERATION COMPUTING | - |
dc.identifier.doi | 10.1007/BF03037279 | - |
dc.contributor.localauthor | Yi, KK | - |
dc.contributor.nonIdAuthor | Eo, H | - |
dc.contributor.nonIdAuthor | Lee, O | - |
dc.type.journalArticle | Article | - |
dc.subject.keywordAuthor | type system | - |
dc.subject.keywordAuthor | type inference algorithm | - |
dc.subject.keywordAuthor | let-polymorphism | - |
dc.subject.keywordAuthor | generalization | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.