AI Chat AI Image Generator AI Video Text to Speech

Proceedings ML Family / OCaml Users and Developers workshops

05/15/2019

∙

by Sam Lindley, et al.

∙

∙

This volume contains the joint post-proceedings of the 2017 editions of the ML Family Workshop and the OCaml Users and Developers Workshop which took place in Oxford, UK, September 2017, and which were colocated with the ICFP 2017 conference.

Sam Lindley
13 publications
Gabriel Scherer
11 publications

research

∙ 12/28/2018

Proceedings ML Family Workshop / OCaml Users and Developers workshops

This volume contains the joint post-proceedings of the 2016 edition of t...

0 Kenichi Asai, 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

∙ 07/08/2019

Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning

This volume contains the joint post-proceedings of the 3rd Workshop on P...

0 Emanuele De Angelis, et al. ∙

research

∙ 06/01/2011

1st International Workshop on Distributed Evolutionary Computation in Informal Environments

Online conference proceedings for the IWDECIE workshop, taking place in ...

0 Juan-J. Merelo, et al. ∙

research

∙ 06/20/2022

Proceedings Ninth Workshop on Mathematically Structured Functional Programming

This volume contains the proceedings of the Ninth Workshop on Mathematic...

0 Jeremy Gibbons, 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

∙ 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. ∙