Browsing by Author Figueiredo, Carlos Camarão de
Showing results 1 to 8 of 8
Issue Date | Title | Author(s) |
---|---|---|
2016 | Ambiguity and constrained polymorphism. | Figueiredo, Carlos Camarão de; Figueiredo, Lucília Camarão de; Ribeiro, Rodrigo Geraldo |
2013 | Ambiguity and context-dependent overloading. | Ribeiro, Rodrigo Geraldo; Figueiredo, Carlos Camarão de |
2018 | Certified derivative-based parsing of regular expressions. | Lopes, Raul Felipe Pimenta |
2013 | Mechanized metatheory for a λ-calculus with trust types. | Ribeiro, Rodrigo Geraldo; Figueiredo, Lucília Camarão de; Figueiredo, Carlos Camarão de |
2013 | Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading. | Ribeiro, Rodrigo Geraldo; Figueiredo, Carlos Camarão de; Figueiredo, Lucília Camarão de |
1998 | Towards higher-order types. | Figueiredo, Carlos Camarão de; Figueiredo, Lucília Camarão de |
1998 | A type system for context-dependent overloading. | Figueiredo, Lucília Camarão de; Figueiredo, Carlos Camarão de |
2002 | A view on abstract and extensible types. | Figueiredo, Lucília Camarão de; Figueiredo, Carlos Camarão de |