Browsing Trabajos finales de carrera de postgrado by Author "Copello Gigirey, Ernesto Sebastián"

Sort by: Order: Results:

  • Copello Gigirey, Ernesto Sebastián (Universidad ORT Uruguay, 2011)
    El problema que se aborda en la tesis es el desarrollo de un algoritmo que realice inferencia de tipos para sistemas de tipos de sesión. Para ello, se consideran los sistemas existentes en la literatura, se propone una ...