Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

ML Family / OCaml Users and Developers Workshops 2016: Nara, Japan

> Home > Conferences and Workshops > ML Family / OCaml Users and Developers Workshops

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1812-10891
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-10891
Kenichi Asai, Mark R. Shinwell:
Proceedings ML Family Workshop / OCaml Users and Developers workshops, ML/OCAML 2016, Nara, Japan, September 22-23, 2016. EPTCS 285, 2018
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1805-11006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-11006
Dmitry Kosarev, Dmitry Boulytchev:
Typed Embedding of a Relational Language in OCaml. 1-22
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1812-11664
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-11664
Oleg Kiselyov, K. C. Sivaramakrishnan:
Eff Directly in OCaml. 23-58
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1812-11665
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-11665
Florent Balestrieri, Michel Mauny:
Generic Programming in OCaml. 59-100
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1812-11668
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-11668
Timothy Bourke, Jun Inoue, Marc Pouzet:
Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers. 101-130
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1805-08842
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-08842
Kavon Farvardin, John H. Reppy:
Compiling with Continuations and LLVM. 131-142

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.