Proceedings ML Family Workshop / OCaml Users and Developers workshops
Programming Languages
2018-12-31 v1
Abstract
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.
Keywords
Cite
@article{arxiv.1812.10891,
title = {Proceedings ML Family Workshop / OCaml Users and Developers workshops},
author = {Kenichi Asai and Mark Shinwell},
journal= {arXiv preprint arXiv:1812.10891},
year = {2018}
}
Related papers
View all related →
Programming Languages · Computer Science
Proceedings ML Family / OCaml Users and Developers workshops
Sam Lindley, Gabriel Scherer
2019-05-16
Programming Languages · Computer Science
Proceedings ML Family / OCaml Users and Developers workshops
Jeremy Yallop, Damien Doligez
2017-02-08
Programming Languages · Computer Science
Proceedings ML Family/OCaml Users and Developers workshops
Oleg Kiselyov, Jacques Garrigue
2015-12-07
Logic in Computer Science · Computer Science
Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems
Michele Pagani, Sandra Alves
2019-04-23
Machine Learning · Statistics
Proceedings of the 2016 ICML Workshop on #Data4Good: Machine Learning in Social Good Applications
Kush R. Varshney
2016-08-31
Machine Learning · Statistics
Proceedings of the 2016 ICML Workshop on Human Interpretability in Machine Learning (WHI 2016)
Been Kim, Dmitry M. Malioutov, Kush R. Varshney
2016-07-28
Machine Learning · Statistics
Proceedings of NIPS 2016 Workshop on Interpretable Machine Learning for Complex Systems
Andrew Gordon Wilson, Been Kim, William Herlands
2016-11-29
Logic in Computer Science · Computer Science
Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications
Grant Passmore, Ruben Gamboa
2020-09-29
Machine Learning · Statistics
Proceedings of NIPS 2017 Workshop on Machine Learning for the Developing World
Maria De-Arteaga, William Herlands
2017-12-13
Programming Languages · Computer Science
AppLP: A Dialogue on Applications of Logic Programming
David S. Warren, Yanhong A. Liu
2017-04-11
Software Engineering · Computer Science
Proceedings First Workshop on Applicable Formal Methods
Mario Gleirscher, Jaco van de Pol, Jim Woodcock
2021-11-16
Programming Languages · Computer Science
Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems
Mirco Tribastone, Herbert Wiklicky
2016-10-26
Logic in Computer Science · Computer Science
Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications
Rob Sumners, Cuong Chau
2022-05-24
Logic in Computer Science · Computer Science
Proceedings Tenth International Workshop on Developments in Computational Models
Ugo Dal Lago, Russ Harmer
2015-04-09
Computers and Society · Computer Science
Proceedings of NeurIPS 2019 Workshop on Machine Learning for the Developing World: Challenges and Risks of ML4D
Maria De-Arteaga, Tejumade Afonja, Amanda Coston
2020-04-13
Logic in Computer Science · Computer Science
Proceedings International Workshop on the ACL2 Theorem Prover and its Applications
Ruben Gamboa, Jared Davis
2013-04-29
Programming Languages · Computer Science
Proceedings of the 16th Workshop in Logic-based Methods in Programming Environments (WLPE2006)
Wim Vanhoof, Susana Munoz-Hernandez
2007-05-23
Software Engineering · Computer Science
Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012)
Fuyuki Ishikawa, Alexander Romanovsky
2012-11-13
Machine Learning · Statistics
Proceedings of the 2017 ICML Workshop on Human Interpretability in Machine Learning (WHI 2017)
Been Kim, Dmitry M. Malioutov, Kush R. Varshney, Adrian Weller
2017-08-10
Logic in Computer Science · Computer Science
Proceedings 8th International Workshop on Computing with Terms and Graphs
Aart Middeldorp, Femke van Raamsdonk
2015-05-27
Robotics · Computer Science
Proceedings of the 1st International Workshop on Robot Learning and Planning (RLP 2016)
Nancy Amato, Charles Anderson, Gregory Chirikjian, Hamidreza Chitsaz +12
2016-10-11
Symbolic Computation · Computer Science
Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications
Shilpi Goel, Matt Kaufmann
2018-10-30
Human-Computer Interaction · Computer Science
Proceedings of the Purposeful XR Workshop for CHI 2025
Elizabeth Childs, Samir Ghosh, Sebastian Cmentowski, Andrea Cuadra +1
2025-04-11
Computational Engineering, Finance, and Science · Computer Science
Proceedings 7th International Workshop on Developments of Computational Methods
Elham Kashefi, Jean Krivine, Femke van Raamsdonk
2012-07-31
Hardware Architecture · Computer Science
Proceedings of the 2nd International Workshop on Overlay Architectures for FPGAs (OLAF 2016)
Hayden Kwok-Hay So, John Wawrzynek
2016-05-27