Lucília Figueiredo

Publication Activity (10 Years)

Years Active: 1998-2016
Publications (10 Years): 2

Top Topics

Constrained Minimization

Top Venues

J. Braz. Comput. Soc.

Sci. Comput. Program.

Publications

Carlos Camarão, Lucília Figueiredo, Rodrigo Geraldo Ribeiro
Ambiguity and constrained polymorphism. Sci. Comput. Program. 124 (2016)
Rodrigo Geraldo Ribeiro, Carlos Camarão, Lucília Figueiredo, Cristiano D. Vasconcellos
Optional Type Classes for Haskell. SBLP (2016)
Rodrigo Geraldo Ribeiro, Lucília Figueiredo, Carlos Camarão
Mechanized metatheory for a λ-calculus with trust types. J. Braz. Comput. Soc. 19 (4) (2013)
Rodrigo Geraldo Ribeiro, Carlos Camarão, Lucília Figueiredo
Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading. J. Braz. Comput. Soc. 19 (4) (2013)
Carlos Camarão, Cristiano D. Vasconcellos, Lucília Figueiredo, João Nicola
Open and Closed Worlds for Overloading: a Definition and Support for Coexistence. J. Univers. Comput. Sci. 13 (6) (2007)
Carlos Camarão, Lucília Figueiredo, Cristiano D. Vasconcellos
Constraint-set satisfiability for overloading. PPDP (2004)
Cristiano D. Vasconcellos, Lucília Figueiredo, Carlos Camarão
Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell. J. Univers. Comput. Sci. 9 (8) (2003)
Ruy J. G. B. de Queiroz, Elaine Pimentel, Lucília Figueiredo
Preface. Electron. Notes Theor. Comput. Sci. 84 (2003)
Carlos Camarão, Lucília Figueiredo, Hermann Rodrigues
Mimico: a Monad Combinator Parser Generator. J. Braz. Comput. Soc. 9 (1) (2003)
Lucília Figueiredo, Carlos Camarão
A View on Abstract and Extensibles Types. Rev. Colomb. de Computación 3 (1) (2002)
Carlos Camarão, Lucília Figueiredo
Type Inference for Overloading without Restrictions, Declarations or Annotations. Fuji International Symposium on Functional and Logic Programming (1999)
Carlos Camarão, Lucília Figueiredo
A Type System for Context-dependent Overloading. Electron. Notes Theor. Comput. Sci. 14 (1998)
Carlos Camarão, Lucília Figueiredo
Towards Higher-Order Types. Electron. Notes Theor. Comput. Sci. 14 (1998)