Proceedings ML Family / OCaml Users and Developers workshops

2017/02/07 by Jeremy Yallop, Damien Doligez · 4 citations
Computer Science · #cs.PL

paper · pdf · doi:10.4204/eptcs.241

published as EPTCS 241, 2017

arxiv created 2017/02/07 · arxiv updated 2017/02/08

Abstract

This volume contains the joint post-proceedings of the 2015 edition of the ML Family Workshop and OCaml Users and Developers Workshop, held in Vancouver, British Columbia, Canada, in affiliation with ICFP 2015.

Cited by

• Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing
• GADTs and Exhaustiveness: Looking for the Impossible
• Dependent Types for Multi-Rate Flows in Synchronous Programming
• Specialization of Generic Array Accesses After Inlining

Related

• Proceedings ML Family Workshop / OCaml Users and Developers workshops
• Proceedings ML Family / OCaml Users and Developers workshops
• Proceedings ML Family/OCaml Users and Developers workshops
• Proceedings of NeurIPS 2019 Workshop on Machine Learning for the Developing World: Challenges and Risks of ML4D
• Proceedings of The 39th Annual Workshop of the Austrian Association for Pattern Recognition (OAGM), 2015