- -

Listar por palabra clave "Type inference"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por palabra clave "Type inference"

Ordenar por:Orden:Resultados:

  • thumb
    Precise explanation of success typing errors 
    Sagonas, Konstantinos; Silva Galiana, Josep Francesc; Tamarit Muñoz, Salvador (Association for Computing Machinery (ACM), 2013-01-21)
    Nowadays, many dynamic languages come with (some sort of) type inference in order to detect type errors statically. Often, in order not to unnecessarily reject programs which are allowed under a dynamic type discipline, ...