EPTCS 241 - ML Family/OCaml 2015: Vancouver, Canada

> Home > Series > EPTCS

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/YallopD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/YallopD17
Jeremy Yallop, Damien Doligez:
Proceedings ML Family / OCaml Users and Developers workshops, ML Family/OCaml 2015, Vancouver, Canada, 3rd & 4th September 2015. EPTCS 241, 2017
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Kiselyov17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Kiselyov17
Oleg Kiselyov:
Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing. 1-22
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GarrigueN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GarrigueN17
Jacques Garrigue, Jacques Le Normand:
GADTs and Exhaustiveness: Looking for the Impossible. 23-35
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BlairX17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BlairX17
William Blair, Hongwei Xi:
Dependent Types for Multi-Rate Flows in Synchronous Programming. 36-44
- view
  authority control:
- export record
  dblp key:
  - journals/corr/TokudaSA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/TokudaSA17
Ryohei Tokuda, Eijiro Sumii, Akinori Abe:
Specialization of Generic Array Accesses After Inlining. 45-53

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.