|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Sam Lindley, Gabriel Scherer (eds.) |
Proceedings ML Family / OCaml Users and Developers workshops, ML/OCaml 2017, Oxford, UK, 7th September 2017. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCaml ![The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kenichi Asai, Mark R. Shinwell (eds.) |
Proceedings ML Family Workshop / OCaml Users and Developers workshops, ML/OCAML 2016, Nara, Japan, September 22-23, 2016. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCAML ![The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy Yallop, Stephen Dolan |
First-Class Subtypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCaml ![In: Proceedings ML Family / OCaml Users and Developers workshops, ML/OCaml 2017, Oxford, UK, 7th September 2017., pp. 74-85, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Kiselyov |
Effects Without Monads: Non-determinism - Back to the Meta Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCaml ![In: Proceedings ML Family / OCaml Users and Developers workshops, ML/OCaml 2017, Oxford, UK, 7th September 2017., pp. 15-40, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | John G. Whitington, Tom Ridge |
Direct Interpretation of Functional Programs for Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCaml ![In: Proceedings ML Family / OCaml Users and Developers workshops, ML/OCaml 2017, Oxford, UK, 7th September 2017., pp. 41-73, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Runhang Li, Jeremy Yallop |
Extending OCaml's 'open'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCaml ![In: Proceedings ML Family / OCaml Users and Developers workshops, ML/OCaml 2017, Oxford, UK, 7th September 2017., pp. 1-14, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Kiselyov, K. C. Sivaramakrishnan |
Eff Directly in OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCAML ![In: Proceedings ML Family Workshop / OCaml Users and Developers workshops, ML/OCAML 2016, Nara, Japan, September 22-23, 2016., pp. 23-58, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Timothy Bourke, Jun Inoue 0001, Marc Pouzet |
Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCAML ![In: Proceedings ML Family Workshop / OCaml Users and Developers workshops, ML/OCAML 2016, Nara, Japan, September 22-23, 2016., pp. 101-130, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry Kosarev, Dmitry Boulytchev |
Typed Embedding of a Relational Language in OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCAML ![In: Proceedings ML Family Workshop / OCaml Users and Developers workshops, ML/OCAML 2016, Nara, Japan, September 22-23, 2016., pp. 1-22, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Florent Balestrieri, Michel Mauny |
Generic Programming in OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCAML ![In: Proceedings ML Family Workshop / OCaml Users and Developers workshops, ML/OCAML 2016, Nara, Japan, September 22-23, 2016., pp. 59-100, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kavon Farvardin, John H. Reppy |
Compiling with Continuations and LLVM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCAML ![In: Proceedings ML Family Workshop / OCaml Users and Developers workshops, ML/OCAML 2016, Nara, Japan, September 22-23, 2016., pp. 131-142, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Kiselyov, Jacques Garrigue (eds.) |
Proceedings ML Family/OCaml Users and Developers workshops, ML/OCaml 2014, Gothenburg, Sweden, September 4-5, 2014. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCaml ![The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tomas Petricek 0001, Don Syme, Zach Bray |
In the Age of Web: Typed Functional-First Programming Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCaml ![In: Proceedings ML Family/OCaml Users and Developers workshops, ML/OCaml 2014, Gothenburg, Sweden, September 4-5, 2014., pp. 64-79, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Akinori Abe, Eijiro Sumii |
A Simple and Practical Linear Algebra Library Interface with Static Size Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCaml ![In: Proceedings ML Family/OCaml Users and Developers workshops, ML/OCaml 2014, Gothenburg, Sweden, September 4-5, 2014., pp. 1-21, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Leo White, Frédéric Bour, Jeremy Yallop |
Modular implicits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCaml ![In: Proceedings ML Family/OCaml Users and Developers workshops, ML/OCaml 2014, Gothenburg, Sweden, September 4-5, 2014., pp. 22-63, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Arthur Charguéraud |
Improving Type Error Messages in OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCaml ![In: Proceedings ML Family/OCaml Users and Developers workshops, ML/OCaml 2014, Gothenburg, Sweden, September 4-5, 2014., pp. 80-97, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|