Carlos Camarão - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2016

Ambiguity and constrained polymorphismCarlos Camarão, Lucília Figueiredo, Rodrigo Ribeiro. SCP, 124:1-19, 2016. [doi]

Certified Derivative-Based Parsing of Regular ExpressionsRaul Lopes, Rodrigo Ribeiro, Carlos Camarão. SBLP 2016: 95-109 [doi]

Optional Type Classes for HaskellRodrigo Ribeiro, Carlos Camarão, Lucília Figueiredo, Cristiano D. Vasconcellos. SBLP 2016: 125-139 [doi]

2015

Type Inference for GADTs and Anti-unificationAdelaine Gelain, Cristiano Vasconcellos, Carlos Camarão, Rodrigo Ribeiro. SBLP 2015: 16-30 [doi]

A Mechanized Textbook Proof of a Type Unification AlgorithmRodrigo Ribeiro, Carlos Camarão. sbmf 2016: 127-141 [doi]

2013

Mechanized metatheory for a λ-calculus with trust typesRodrigo Ribeiro, Lucília Figueiredo, Carlos Camarão. jbcs, 19(4):433-443, 2013. [doi]

Terminating constraint set satisfiability and simplification algorithms for context-dependent overloadingRodrigo Ribeiro, Carlos Camarão, Lucília Figueiredo. jbcs, 19(4):423-432, 2013. [doi]

Ambiguity and context-dependent overloadingRodrigo Ribeiro, Carlos Camarão. jbcs, 19(3):313-324, 2013. [doi]

2007

Open and Closed Worlds for Overloading: a Definition and Support for CoexistenceCarlos Camarão, Cristiano Vasconcellos, Lucília Figueiredo, João Nicola. jucs, 13(6):874-890, 2007. [doi]

2004

Constraint-set satisfiability for overloadingCarlos Camarão, Lucília Figueiredo, Cristiano Vasconcellos. ppdp 2004: 67-77 [doi]

2003

Mimico: a Monad Combinator Parser GeneratorCarlos Camarão, Lucília Figueiredo, Hermann Rodrigues. jbcs, 9(1):27-40, 2003.

Practical Type Inference for Polymorphic Recursion: an Implementation in HaskellCristiano Vasconcellos, Lucília Figueiredo, Carlos Camarão. jucs, 9(8):873-890, 2003. [doi]

2002

A View on Abstract and Extensibles TypesLucília Figueiredo, Carlos Camarão. rcc, 3(1):21-40, 2002. [doi]

2001

Adapting Web Contents to WAP Devices using HaskellPedro Ivo Oliveira, Carlos Camarão. sccc 2001: 223-232 [doi]

1999

Type Inference for Overloading without Restrictions, Declarations or AnnotationsCarlos Camarão, Lucília Figueiredo. FLOPS 1999: 37-52

1998

Towards Higher-Order TypesCarlos Camarão, Lucília Figueiredo. ENTCS, 14:38-51, 1998. [doi]

A Type System for Context-dependent OverloadingCarlos Camarão, Lucília Figueiredo. ENTCS, 14:52-61, 1998. [doi]

Sign in or sign up to see more results.

runs on WebDSL