The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ML/OCaml"( http://dblp.L3S.de/Venues/ML/OCaml )

URL (DBLP): http://dblp.uni-trier.de/db/journals/corr

Publication years (Num. hits)
2014-2018 (15) 2019 (1)
Publication types (Num. hits)
inproceedings(13) proceedings(3)
Venues (Conferences, Journals, ...)
ML/OCaml(16)
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
1Sam Lindley, Gabriel Scherer (eds.) Proceedings ML Family / OCaml Users and Developers workshops, ML/OCaml 2017, Oxford, UK, 7th September 2017. Search on Bibsonomy ML/OCaml The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kenichi 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 ML/OCAML The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jeremy Yallop, Stephen Dolan First-Class Subtypes. Search on Bibsonomy ML/OCaml The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Oleg Kiselyov Effects Without Monads: Non-determinism - Back to the Meta Language. Search on Bibsonomy ML/OCaml The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1John G. Whitington, Tom Ridge Direct Interpretation of Functional Programs for Debugging. Search on Bibsonomy ML/OCaml The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Runhang Li, Jeremy Yallop Extending OCaml's 'open'. Search on Bibsonomy ML/OCaml The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Oleg Kiselyov, K. C. Sivaramakrishnan Eff Directly in OCaml. Search on Bibsonomy ML/OCAML The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Timothy Bourke, Jun Inoue 0001, Marc Pouzet Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers. Search on Bibsonomy ML/OCAML The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dmitry Kosarev, Dmitry Boulytchev Typed Embedding of a Relational Language in OCaml. Search on Bibsonomy ML/OCAML The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Florent Balestrieri, Michel Mauny Generic Programming in OCaml. Search on Bibsonomy ML/OCAML The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kavon Farvardin, John H. Reppy Compiling with Continuations and LLVM. Search on Bibsonomy ML/OCAML The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Oleg Kiselyov, Jacques Garrigue (eds.) Proceedings ML Family/OCaml Users and Developers workshops, ML/OCaml 2014, Gothenburg, Sweden, September 4-5, 2014. Search on Bibsonomy ML/OCaml The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tomas Petricek 0001, Don Syme, Zach Bray In the Age of Web: Typed Functional-First Programming Revisited. Search on Bibsonomy ML/OCaml The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Akinori Abe, Eijiro Sumii A Simple and Practical Linear Algebra Library Interface with Static Size Checking. Search on Bibsonomy ML/OCaml The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Leo White, Frédéric Bour, Jeremy Yallop Modular implicits. Search on Bibsonomy ML/OCaml The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Arthur Charguéraud Improving Type Error Messages in OCaml. Search on Bibsonomy ML/OCaml The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #16 of 16 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license