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
Ambiguity and context-dependent overloading.

, und . J. Braz. Comput. Soc., 19 (3): 313-324 (2013)

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)Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell., , und . J. UCS, 9 (8): 873-890 (2003)Ambiguity and constrained polymorphism., , und . Sci. Comput. Program., (2016)Optional Type Classes for Haskell., , , und . SBLP, Volume 9889 von Lecture Notes in Computer Science, Seite 125-139. Springer, (2016)Type Inference for GADTs and Anti-unification., , , und . SBLP, Volume 9325 von Lecture Notes in Computer Science, Seite 16-30. Springer, (2015)Mechanized metatheory for a λ-calculus with trust types., , und . J. Braz. Comput. Soc., 19 (4): 433-443 (2013)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)