Lucília Figueiredo

14 papers C 3Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2016 J jnl
Ambiguity and constrained polymorphism.
Sci. Comput. Program.
Carlos Camarão, Lucília Figueiredo, Rodrigo Geraldo Ribeiro
2016 — conf
Optional Type Classes for Haskell.
SBLP
Rodrigo Geraldo Ribeiro, Carlos Camarão, Lucília Figueiredo, Cristiano D. Vasconcellos
2013 J jnl
Mechanized metatheory for a λ-calculus with trust types.
J. Braz. Comput. Soc.
Rodrigo Geraldo Ribeiro, Lucília Figueiredo, Carlos Camarão
2013 J jnl
Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading.
J. Braz. Comput. Soc.
Rodrigo Geraldo Ribeiro, Carlos Camarão, Lucília Figueiredo
2007 J jnl
Open and Closed Worlds for Overloading: a Definition and Support for Coexistence.
J. Univers. Comput. Sci.
Carlos Camarão, Cristiano D. Vasconcellos, Lucília Figueiredo, João Nicola
2004 C conf
Constraint-set satisfiability for overloading.
PPDP
Carlos Camarão, Lucília Figueiredo, Cristiano D. Vasconcellos
2003 C ed.
10th Workshop on Logic, Language, Information and Computation, WoLLIC 2003, Ouro Preto, Minas Gerais, Brazil, July 29 - August 1, 2003
WoLLIC
Ruy J. G. B. de Queiroz, Elaine Pimentel, Lucília Figueiredo
2003 J jnl
Mimico: a Monad Combinator Parser Generator.
J. Braz. Comput. Soc.
Carlos Camarão, Lucília Figueiredo, Hermann Rodrigues
2003 J jnl
Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell.
J. Univers. Comput. Sci.
Cristiano D. Vasconcellos, Lucília Figueiredo, Carlos Camarão
2003 C conf
Preface.
WoLLIC
Ruy J. G. B. de Queiroz, Elaine Pimentel, Lucília Figueiredo
2002 J jnl
A View on Abstract and Extensibles Types.
Rev. Colomb. de Computación
Lucília Figueiredo, Carlos Camarão
1999 — conf
Type Inference for Overloading without Restrictions, Declarations or Annotations.
Fuji International Symposium on Functional and Logic Programming
Carlos Camarão, Lucília Figueiredo
1997 — conf
A Type System for Context-dependent Overloading.
US-Brazil Joint Workshops on the Formal Foundations of Software Systems
Carlos Camarão, Lucília Figueiredo
1997 — conf
Towards Higher-Order Types.
US-Brazil Joint Workshops on the Formal Foundations of Software Systems
Carlos Camarão, Lucília Figueiredo