Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Chieri Saito"'
Autor:
Atsushi Igarashi, Chieri Saito
Publikováno v:
Science of Computer Programming. 78:933-952
The notion of MyType has been proposed to promote type-safe reuse of binary methods and recently extended to mutually recursive definitions. It is well known, however, that MyType does not match with subtyping well. In current type systems, type safe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1e8bd4099b452ef7cbe9cbd48e3664d8
https://doi.org/10.1016/j.scico.2012.12.010
https://doi.org/10.1016/j.scico.2012.12.010
Publikováno v:
Programming Languages and Systems ISBN: 9783540297352
APLAS
APLAS
Family polymorphism has been proposed for object-oriented languages as a solution to supporting reusable yet type-safe mutually recursive classes. A key idea of family polymorphism is the notion of families, which are used to group mutually recursive
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ff4cba69d1549bb851c6619a59733899
http://hdl.handle.net/11585/22997
http://hdl.handle.net/11585/22997
Autor:
Atsushi Igarashi, Chieri Saito
Publikováno v:
OOPSLA
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType , which represents the type of a self reference and changes its meaning along with inheritance. MyType is useful to write extensible yet type-safe classes for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::00250e5b51a5d261459acc33a2bebf99
https://doi.org/10.1145/1640089.1640109
https://doi.org/10.1145/1640089.1640109
Autor:
Chieri Saito, Atsushi Igarashi
Publikováno v:
SAC
The notion of ThisType has been proposed to promote typesafe reuse of binary methods and recently extended to mutually recursive definitions. It is well-known, however, that ThisType does not match with subtyping well. In the current type systems, ty
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0d491b19135654c640c61ace4953b38f
https://doi.org/10.1145/1529282.1529699
https://doi.org/10.1145/1529282.1529699
Autor:
Atsushi Igarashi, Chieri Saito
Publikováno v:
The Journal of Object Technology. 7:67
The formal core calculus .FJ has been introduced to model lightweight family polymorphism, a programming style to support reusable yet type-safe mutually recursive classes. This paper clarifies the essence of the features of .FJ, by giving a formal t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::16d7a1f9fb42f30db2ee63cb972ebed2
https://doi.org/10.5381/jot.2008.7.5.a3
https://doi.org/10.5381/jot.2008.7.5.a3
Publikováno v:
Journal of Functional Programming; May2008, Vol. 18 Issue 3, p285-331, 47p