Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Mechanized metatheory for a λ-calculus with trust types.

R. Ribeiro, L. Figueiredo, und C. Camarão. J. Braz. Comput. Soc., 19 (4): 433-443 (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.L. Figueiredo, und C. Camarão. Revista Colombiana de Computación, 3 (1): 21-40 (2002)Mimico: a Monad Combinator Parser Generator.C. Camarão, L. Figueiredo, und H. Rodrigues. J. Braz. Comput. Soc., 9 (1): 27-40 (2003)Certified Derivative-Based Parsing of Regular Expressions.R. Lopes, R. Ribeiro, und C. Camarão. SBLP, Volume 9889 von Lecture Notes in Computer Science, Seite 95-109. Springer, (2016)Type Inference for Overloading without Restrictions, Declarations or Annotations.C. Camarão, und L. Figueiredo. Fuji International Symposium on Functional and Logic Programming, Volume 1722 von Lecture Notes in Computer Science, Seite 37-52. Springer, (1999)A Type System for Context-dependent Overloading.C. Camarão, und L. Figueiredo. Electron. Notes Theor. Comput. Sci., (1998)Ambiguity and context-dependent overloading.R. Ribeiro, und C. Camarão. J. Braz. Comput. Soc., 19 (3): 313-324 (2013)Towards Higher-Order Types.C. Camarão, und L. Figueiredo. Electron. Notes Theor. Comput. Sci., (1998)Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell.C. Vasconcellos, L. Figueiredo, und C. Camarão. J. UCS, 9 (8): 873-890 (2003)Ambiguity and constrained polymorphism.C. Camarão, L. Figueiredo, und R. Ribeiro. Sci. Comput. Program., (2016)Optional Type Classes for Haskell.R. Ribeiro, C. Camarão, L. Figueiredo, und C. Vasconcellos. SBLP, Volume 9889 von Lecture Notes in Computer Science, Seite 125-139. Springer, (2016)