Login / Signup
Eric Mark Martin
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 2
Top Topics
Domain Independent
Natural Language
Recursive Algorithm
Semantic Search
Top Venues
Proc. ACM Program. Lang.
CoRR
</>
Publications
</>
Marco Patrignani
,
Eric Mark Martin
,
Dominique Devriese
On the semantic expressiveness of recursive types.
Proc. ACM Program. Lang.
5 (POPL) (2021)
Marco Patrignani
,
Eric Mark Martin
,
Dominique Devriese
On the Semantic Expressiveness of Recursive Types.
CoRR
(2020)