|
|
|
|
|
|
|
|
|
|
|
Publications: § A Solution Haskell’s
Multiparameter Type Class Dilema, Camarão,
C., Ribeiro, R., FIGUEIREDO, L., Vasconcelos, C. SBLP 2009 – Brazilian Symposium
on Programming Languages,
2009. (accepted). § Open and Closed
Worlds for Overloading: a Definition and Support for Coexistence, Camarão, C., FIGUEIREDO, L., Vasconcelos, C., Nicola, J.
R., Journal of Universal Computer Science, volume 13 (6), pp 874–890, 2007. § Constraint-set
Satisfiability for Overloading (.pdf), Carlos
Camarão, Lucília Figueiredo, Cristiano Vasconcelos, Proceedings of 6th ACM-SIGPLAN International
Conference on Principles and Practice of Declarative Programming, pp.
66-77, 2004. § Mímico: A Monadic Combinator
Compiler Generator (ps.gz),
Carlos Camarão, Lucília Figueiredo, Hermann Oliveira Rodrigues, Journal of
the Brazilian Computer Society), vol. 9(1), 2003. § Practical Type Inference for
Polymorphic Recursion: an Implementation in Haskell (ps.gz), Cristiano Vasconcelos, Lucília Figueiredo, Carlos
Camarão, Journal of Universal Computer Science, volume 9(8), 2003. § A View on Abstract and Extensible
Types
(ps.gz), Lucília
Figueiredo, Carlos Camarão, Revista Colombiana de Computacion, vol.3(1), pg 21-40, 2002. § Type Inference for Overloading (ps.gz),
Carlos Camarão, Lucília Figueiredo, Technical Report, December, 2002. § ML Type Inference with Overloading (ps.gz),
Carlos Camarão, Lucília Figueiredo, Technical Report, 2002. § Typing
Polymorphic Recursion (ps.gz), Lucília Figueiredo, Carlos Camarão,
Proceedings of CACIC 2001- Argentine Congress on Computer Science, El
Calafate, Argentina. § A Monadic Combinator
Compiler Compiler, Carlos
Camarão, Lucília Figueiredo, SBLP'2001
(5th Brazilian Symposium on Programming Languages), Curitiba, May 23-25,
pg. 64-79, 2001. § Principal
Typing and Mutual Recursion, Lucília Figueiredo, Carlos Camarão,
International Workshop on Functional and Logic Programming (WFLP'2001), Kiel,
Germany, September 13-15, Technical Report No. 2017 of the University of
Kiel, 2001. § ML Has Principal
Typings,
Carlos Camarão, Lucília Figueiredo, SBLP'2000 (4th Brazilian Symp.
on Prog. Lang.), Recife, May 17-19, pg. 231-244, 2000. To appear also
in Eletronic Notes in Theoretical Computer Science, Elsevier Science B.V. § Type Inference for
Overloading without Restrictions, Declarations or Annotations, Carlos
Camarão, Lucília Figueiredo, FLOPS’99, Tsukuba,
Japan, November 11-13, Springer-Verlag LNCS 1722, pg. 37-52, 1999. § A Type with a View, Lucília Figueiredo, Carlos Camarão, SBLP'99 (III Brazilian
Symposium on Programming Languages), Porto Alegre, Brasil, pg. 33-44, 1999.
§ Sistemas de Tipos em Linguagens de
Programação, Carlos Camarão, Lucília Figueiredo, Elaine
Pimentel, SBLP'99 (III Brazilian
Symposium on Programming Languages), Porto Alegre, Brasil, 1999. (english
version) § Class Types, Carlos Camarão, Lucília Figueiredo, II Brazilian Symposium on
Programming Languages (SBLP'97), Campinas, Brasil, pg. 96-108, 1997. § Towards
Higher-Order Types, Carlos Camarão, Lucília Figueiredo, Eletronic Notes
in Theoretical Computer Science, volume 14, pp. 38-51, 1998. § A
Type System for Context-dependent Overloading, Carlos Camarão,
Lucília Figueiredo, Eletronic Notes in Theoretical Computer Science, volume
14, pp 52-61, 1998. |
|
||||||||||||||||||||||||||||||||||||||||||||||||||
Editorial
work:
▪ Roberto Yerusalimsky, Lucília Figueiredo, Marco Tulio O Valente,
(editors), Proceedings of the 7th Brazilian Symposium on Programming Languages,
Ouro Preto, MG, May, 2003, in Journal of Universal Computer Science,
vol.9(8), 2003. ▪ Ruy de Queiroz, Elaine Pimentel and Lucília Figueiredo (editors), Proceedings of the 10th Workshop on Logic, Language, Information and Computation, Ouro Preto, MG, July, 2003. ▪ Ana C. V. Melo, Álvaro Moreira, Lucília Figueiredo (editors), Proceedings of the Brazilian Symposium on Formal Methods, Ouro Preto, MG, 2007. |
||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
Federal |
|
|
