Lucília Figueiredo - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 13 from 13

2016

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

Optional Type Classes for HaskellRodrigo Ribeiro, Carlos Camarão, Lucília Figueiredo, Cristiano D. Vasconcellos. SBLP 2016: 125-139 [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]

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.

PrefaceRuy J. G. B. de Queiroz, Elaine Pimentel, Lucília Figueiredo. ENTCS, 84:229-231, 2003. [doi]

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]

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