Lucília Figueiredo

According to our database, Lucília Figueiredo authored at least 13 papers between 1997 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Ambiguity and constrained polymorphism.

Carlos Camarão, Lucília Figueiredo, Rodrigo Geraldo Ribeiro

Sci. Comput. Program., 2016

Optional Type Classes for Haskell.

Rodrigo Geraldo Ribeiro, Carlos Camarão, Lucília Figueiredo, Cristiano D. Vasconcellos

Proceedings of the Programming Languages - 20th Brazilian Symposium, 2016

2013

Mechanized metatheory for a λ-calculus with trust types.

Rodrigo Geraldo Ribeiro, Lucília Figueiredo, Carlos Camarão

J. Braz. Comput. Soc., 2013

Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading.

Rodrigo Geraldo Ribeiro, Carlos Camarão, Lucília Figueiredo

J. Braz. Comput. Soc., 2013

2007

Open and Closed Worlds for Overloading: a Definition and Support for Coexistence.

Carlos Camarão, Cristiano D. Vasconcellos, Lucília Figueiredo, João Nicola

J. Univers. Comput. Sci., 2007

2004

Constraint-set satisfiability for overloading.

Carlos Camarão, Lucília Figueiredo, Cristiano D. Vasconcellos

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

2003

Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell.

Cristiano D. Vasconcellos, Lucília Figueiredo, Carlos Camarão

J. Univers. Comput. Sci., 2003

Mimico: a Monad Combinator Parser Generator.

Carlos Camarão, Lucília Figueiredo, Hermann Rodrigues

J. Braz. Comput. Soc., 2003

Preface.

Ruy J. G. B. de Queiroz, Elaine Pimentel, Lucília Figueiredo

Proceedings of the 10th Workshop on Logic, Language, Information and Computation, 2003

2002

A View on Abstract and Extensibles Types.

Lucília Figueiredo, Carlos Camarão

Rev. Colomb. de Computación, 2002

1999

Type Inference for Overloading without Restrictions, Declarations or Annotations.

Carlos Camarão, Lucília Figueiredo

Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1997

A Type System for Context-dependent Overloading.

Carlos Camarão, Lucília Figueiredo

Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

Towards Higher-Order Types.

Carlos Camarão, Lucília Figueiredo

Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997