Search    Browse

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)
Authors
Jeremy Yallop(3) Oleg Kiselyov(3) Akinori Abe(1) Arthur Charguéraud(1) Dmitry Boulytchev(1) Dmitry Kosarev(1) Don Syme(1) Eijiro Sumii(1) Florent Balestrieri(1) Frédéric Bour(1) Gabriel Scherer(1) Jacques Garrigue(1) John G. Whitington(1) John H. Reppy(1) Jun Inoue 0001(1) K. C. Sivaramakrishnan(1) More (+10 of total 29)
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