Sign in
Michael Arntzenius
Publication Activity (10 Years)
Years Active: 2016-2020
Publications (10 Years): 2
Top Topics
Complex Objects
Database
Database Languages
Integrity Constraints
Top Venues
Proc. ACM Program. Lang.
ICFP
</>
Publications
</>
Michael Arntzenius
,
Neel Krishnaswami
Seminaïve evaluation for a higher-order functional language.
Proc. ACM Program. Lang.
4 (POPL) (2020)
Michael Arntzenius
,
Neelakantan R. Krishnaswami
Datafun: a functional Datalog.
ICFP
(2016)