PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Camarão, Carlos"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Mechanized Textbook Proof of a Type Unification Algorithm.

, und . SBMF, Volume 9526 von Lecture Notes in Computer Science, Seite 127-141. Springer, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Carlos Sánchez Delgado University of Stuttgart

Carlos Eduardo Jimenez University of Stuttgart

Carlos Peiro Frasquet University of Stuttgart

Carlos Munoz Garcia University of Stuttgart

Carlos Daniel Cadena

 

Weitere Publikationen von Autoren mit dem selben Namen

A View on Abstract and Extensibles Types., und . Revista Colombiana de Computación, 3 (1): 21-40 (2002)Mimico: a Monad Combinator Parser Generator., , und . J. Braz. Comput. Soc., 9 (1): 27-40 (2003)Certified Derivative-Based Parsing of Regular Expressions., , und . SBLP, Volume 9889 von Lecture Notes in Computer Science, Seite 95-109. Springer, (2016)Type Inference for Overloading without Restrictions, Declarations or Annotations., und . Fuji International Symposium on Functional and Logic Programming, Volume 1722 von Lecture Notes in Computer Science, Seite 37-52. Springer, (1999)Towards Higher-Order Types., und . Electron. Notes Theor. Comput. Sci., (1998)A Type System for Context-dependent Overloading., und . Electron. Notes Theor. Comput. Sci., (1998)Ambiguity and context-dependent overloading., und . J. Braz. Comput. Soc., 19 (3): 313-324 (2013)Open and Closed Worlds for Overloading: a Definition and Support for Coexistence., , , und . J. UCS, 13 (6): 874-890 (2007)Adapting Web Contents to WAP Devices using Haskell., und . SCCC, Seite 223-232. IEEE Computer Society, (2001)A Mechanized Textbook Proof of a Type Unification Algorithm., und . SBMF, Volume 9526 von Lecture Notes in Computer Science, Seite 127-141. Springer, (2015)