Customizable Gradual Polymorphic Effects for Scala

Toro, M; Tanter É.

Keywords: gradual typing, Type-and-effect systems, effect polymorphism, Effscript, Scala

Más información

Título según WOS: Customizable Gradual Polymorphic Effects for Scala
Título según SCOPUS: Customizable gradual polymorphic effects for scala
Título de la Revista: Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA
Volumen: 25-30-Oct-20
Editorial: Association for Computing Machinery
Fecha de publicación: 2015
Página de inicio: 935
Página final: 953
Idioma: English
DOI:

10.1145/2814270.2814315

Notas: ISI, SCOPUS