Login / Signup
Paul-Nicolas Madelaine
ORCID
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 2
Top Topics
Extended Abstract
Standard Deviation
Document Collections
Top Venues
CoRR
PAAR+SC²@IJCAR
</>
Publications
</>
Robert Y. Lewis
,
Paul-Nicolas Madelaine
Simplifying Casts and Coercions (Extended Abstract).
PAAR+SC²@IJCAR
(2020)
Robert Y. Lewis
,
Paul-Nicolas Madelaine
Normalizing Casts and Coercions.
CoRR
(2020)