Search the dblp DataBase
Sébastien Carlier: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Sébastien Carlier, Jeff Polakow, J. B. Wells, A. J. Kfoury
System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types. [Citation Graph (0, 0)][DBLP]
ESOP, 2004, pp:294-309 [Conf] - Sébastien Carlier, J. B. Wells
Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction. [Citation Graph (0, 0)][DBLP]
PPDP, 2004, pp:132-143 [Conf] - Sébastien Carlier
Polar Type Inference with Intersection Types and omega. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2002, v:70, n:1, pp:- [Journal] - Sébastien Carlier, J. B. Wells
Expansion: the Crucial Mechanism for Type Inference with Intersection Types: A Survey and Explanation. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:136, n:, pp:173-202 [Journal]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002