Sébastien Carlier - Citegraph

Author Info

Name	Affiliation	Papers
SÉBASTIEN CARLIER	Heriot-Watt University, School of Mathematical and Computing Sciences, Edinburgh, Scotland	6
Collaborators	Citations	PageRank
6	28	2.64
Referers	Referees	References
36	66	72

Publications (6 rows)

Collaborators (6 rows)

Referers (36 rows)

Referees (66 rows)

Title	Citations	PageRank	Year
What Does This Notation Mean Anyway?	0	0.34	2018
The Algebra of Expansion	2	0.39	2012
Expansion: the Crucial Mechanism for Type Inference with Intersection Types: A Survey and Explanation	10	0.55	2005
Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction.	0	0.34	2004
System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types	13	0.61	2004
Polar Type Inference with Intersection Types and omega	3	0.42	2002

1