Login / Signup
Justin Bailey
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
2025
2016
Top Topics
2025
2016
Monadic Second Order Logic
2025
2016
Xml Files
2025
2016
Highly Expressive
2025
2016
Functional Language
Top Venues
IFL
</>
Publications
</>
Mark P. Jones
,
Justin Bailey
,
Theodore R. Cooper
MIL, a Monadic Intermediate Language for Implementing Functional Languages.
IFL
(2018)