Exploració per tema "Multiple type variable"

Ara es mostren els items 1-1 de 1

    • Una Modelización de la incompletitud en los programas 

      Pérez Campo, Javier (1994-01)
      Report de recerca
      Accés obert
      This paper presents the concept of multiple type variable. This concept models the incompleteness in programs and simplifies its type checking. The expresiveness of this concept also helps in the handling of value constructors.