Customizable gradual effects for scala
Magíster en Ciencias, Mención Computación === Operaciones realizadas por un programa de computación pueden producir efectos. Efectos computacionales pueden ser definidos como operaciones que interactúan y que se comunican con su ambiente. Ejemplos de efectos son imprimir en pantalla, leer data de us...
Main Author: | Toro Ipinza, Matías |
---|---|
Other Authors: | Tanter, Éric |
Language: | en |
Published: |
Universidad de Chile
2015
|
Subjects: | |
Online Access: | http://repositorio.uchile.cl/handle/2250/134924 |
Similar Items
-
Abstracting gradual typing: Metatheory and applications
by: Toro Ipinza, Matías
Published: (2019) -
Gradual typing for generic type-and-effect systems
by: Bañados Schwerter, Felipe Andrés
Published: (2014) -
PRINCIPLES OF THE SYSTEM OF "CUSTOMIZABLE” DEFENSE ON THE FULL BASKETBALL COURT
by: Pavle Rubin
Published: (2010-09-01) -
Empirically-driven design and implementation of Gradualtalk
by: Álvarez Callaú, Óscar Edwin
Published: (2015) -
Gradual refinement types
by: Lehmann Meléndez, Nicolás Emilio
Published: (2017)