Canyam
AI summaries for academic research
Home
Preprint
Subscribe
Favorites
Tools
Analysis
Summary
Not logged in
Back
F
Finn Smith
nantes universite
1
H-index
3
Paper Count
9
Citation Count
0
Related Insights
Subscribe
Published Papers
1
Publication Date
Publication Date
Impact Factor
Citations
PROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF
0
2026-01-01
0
PRE
AI
Cirpons, Reinis; Hivert, Florent; Mahboubi, Assia; Melquiond, Guillaume; Mitchell, James D.; Smith, Finn
Share
Save
Research Directions
No research directions
Co-authors
Cooperation Journals
G
Guillaume Melquiond
H-index: 22 · Papers: 138
J
James D. Mitchell
H-index: 17 · Papers: 141
F
Florent Hivert
H-index: 15 · Papers: 95
A
A. Mahboubi
H-index: 1 · Papers: 4
R
Reinis Cirpons
H-index: 0 · Papers: 24
All loaded
.png){kind=icon}
.png){kind=icon}
Not logged in.png){kind=icon}
Not logged in.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}