Lucília Figueiredo

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2007
j7		Carlos Camarão, Cristiano Vasconcellos, Lucília Figueiredo, João Nicola: Open and Closed Worlds for Overloading: a Definition and Support for Coexistence. J. UCS 13(6): 874-890 (2007)
	2004
c2		Carlos Camarão, Lucília Figueiredo, Cristiano Vasconcellos: Constraint-set satisfiability for overloading. PPDP 2004: 67-77
	2003
j6		Ruy J. G. B. de Queiroz, Elaine Pimentel, Lucília Figueiredo: Preface. Electr. Notes Theor. Comput. Sci. 84: 229-231 (2003)
j5		Carlos Camarão, Lucília Figueiredo, Hermann Rodrigues: Mimico: a Monad Combinator Parser Generator. J. Braz. Comp. Soc. 9(1): 27-40 (2003)
j4		Cristiano Vasconcellos, Lucília Figueiredo, Carlos Camarão: Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell. J. UCS 9(8): 873-890 (2003)
	2002
j3		Lucília Figueiredo, Carlos Camarão: A View on Abstract and Extensibles Types. Revista Colombiana de Computación 3(1): 21-40 (2002)
	1999
c1		Carlos Camarão, Lucília Figueiredo: Type Inference for Overloading without Restrictions, Declarations or Annotations. Fuji International Symposium on Functional and Logic Programming 1999: 37-52
	1998
j2		Carlos Camarão, Lucília Figueiredo: Towards Higher-Order Types. Electr. Notes Theor. Comput. Sci. 14: 38-51 (1998)
j1		Carlos Camarão, Lucília Figueiredo: A Type System for Context-dependent Overloading. Electr. Notes Theor. Comput. Sci. 14: 52-61 (1998)

Coauthor Index

Last update Fri May 24 01:25:02 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page