AI Chat AI Image Generator AI Video Text to Speech

Proceedings ML Family Workshop / OCaml Users and Developers workshops

12/28/2018

∙

by Kenichi Asai, et al.

∙

∙

This volume contains the joint post-proceedings of the 2016 edition of the ML Family Workshop and OCaml Users and Developers Workshop, held in Nara, Japan, in affiliation with ICFP 2016.

Kenichi Asai
4 publications
Mark Shinwell
1 publication

research

∙ 05/15/2019

Proceedings ML Family / OCaml Users and Developers workshops

This volume contains the joint post-proceedings of the 2017 editions of ...

0 Sam Lindley, et al. ∙

research

∙ 09/09/2021

Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis

This volume contains the post-proceedings of the 8th Workshop on Horn Cl...

0 Hossein Hojjat, et al. ∙

research

∙ 04/21/2019

Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems

This volume contains a final and revised selection of papers presented a...

0 Michele Pagani, et al. ∙

research

∙ 04/30/2013

Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1

We report on highlights of the ACL2 enhancements introduced in ACL2 rele...

0 Matt Kaufmann, et al. ∙

research

∙ 06/14/2019

Proceedings of the CHI 2019 Workshop on New Directions for the IoT: Automate, Share, Build, and Care

This volume represents the proceedings of the CHI 2019 Workshop on New D...

0 Carolina Fuentes, et al. ∙

research

∙ 01/27/2021

Proceedings of the DATE Friday Workshop on System-level Design Methods for Deep Learning on Heterogeneous Architectures (SLOHA 2021)

This volume contains the papers accepted at the first DATE Friday Worksh...

0 Frank Hannig, et al. ∙

research

∙ 11/29/2021

Proceedings of the CSCW 2021 Workshop – Investigating and Mitigating Biases in Crowdsourced Data

This volume contains the position papers presented at CSCW 2021 Workshop...

0 Danula Hettiachchi, et al. ∙