Proceedings ML Family / OCaml Users and Developers workshops
Programming Languages
2017-02-08 v1
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.
Keywords
Cite
@article{arxiv.1702.01872,
title = {Proceedings ML Family / OCaml Users and Developers workshops},
author = {Jeremy Yallop and Damien Doligez},
journal= {arXiv preprint arXiv:1702.01872},
year = {2017}
}
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 Workshop / OCaml Users and Developers workshops
Kenichi Asai, Mark Shinwell
2018-12-31
Programming Languages · Computer Science
Proceedings ML Family/OCaml Users and Developers workshops
Oleg Kiselyov, Jacques Garrigue
2015-12-07
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 Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems
Michele Pagani, Sandra Alves
2019-04-23
Logic in Computer Science · Computer Science
Proceedings of the Eleventh International Workshop on Developments in Computational Models
César A. Muñoz, Jorge A. Pérez
2016-03-03
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
Programming Languages · Computer Science
Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
Farzaneh Derakhshan, Jan Hoffmann
2025-05-27
Logic in Computer Science · Computer Science
Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Dale Miller, Ivan Scagnetto
2019-10-22
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
Logic in Computer Science · Computer Science
Proceedings Tenth International Workshop on Developments in Computational Models
Ugo Dal Lago, Russ Harmer
2015-04-09
Logic in Computer Science · Computer Science
Proceedings 9th International Workshop on Developments in Computational Models
Mauricio Ayala-Rincón, Eduardo Bonelli, Ian Mackie
2014-04-01
Machine Learning · Statistics
Proceedings of the 2016 ICML Workshop on #Data4Good: Machine Learning in Social Good Applications
Kush R. Varshney
2016-08-31
Software Engineering · Computer Science
Proceedings First Workshop on Applicable Formal Methods
Mario Gleirscher, Jaco van de Pol, Jim Woodcock
2021-11-16
Logic in Computer Science · Computer Science
Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications
Matt Kaufmann, David L. Rager
2015-09-21
Hardware Architecture · Computer Science
Proceedings of the Second International Workshop on FPGAs for Software Programmers (FSP 2015)
Frank Hannig, Dirk Koch, Daniel Ziener
2015-08-27
Programming Languages · Computer Science
Proceedings of CICLOPS-WLPE 2010
German Vidal, Neng-Fa Zhou
2010-09-22
Distributed, Parallel, and Cluster Computing · Computer Science
Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation
Jiří Barnat, Keijo Heljanko
2011-11-02
Logic in Computer Science · Computer Science
Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Frédéric Blanqui, Giselle Reis
2018-07-05
Machine Learning · Statistics
Proceedings of the 2018 ICML Workshop on Human Interpretability in Machine Learning (WHI 2018)
Been Kim, Kush R. Varshney, Adrian Weller
2018-07-04
Logic in Computer Science · Computer Science
Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems
Maurice H. ter Beek, Alberto Lluch Lafuente
2015-08-17
Quantum Physics · Physics
Proceedings 12th International Workshop on Quantum Physics and Logic
Chris Heunen, Peter Selinger, Jamie Vicary
2015-11-05
Programming Languages · Computer Science
Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
Simon Gay, Jade Alglave
2016-02-11
Programming Languages · Computer Science
Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems
Herbert Wiklicky, Erik de Vink
2017-07-13
Logic in Computer Science · Computer Science
Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications
David Hardin, Julien Schmaltz
2011-10-21