default search action

combined dblp search
author search
venue search
publication search

ask others

ML Workshop 2008: Victoria, BC, Canada

> Home > Conferences and Workshops > ML

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:
  - conf/ml/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ml/2008
Eijiro Sumii:
Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008. ACM 2008, ISBN 978-1-60558-062-3
- view
  authority control:
- export record
  dblp key:
  - conf/ml/Kennedy08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ml/Kennedy08
Andrew Kennedy:
Types for units-of-measure in f#: invited talk. 1-2

Session 1

- view
  authority control:
- export record
  dblp key:
  - conf/ml/Vouillon08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ml/Vouillon08
Jérôme Vouillon:
Lwt: a cooperative thread library. 3-12
- view
  authority control:
- export record
  dblp key:
  - conf/ml/CuoqD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ml/CuoqD08
Pascal Cuoq, Damien Doligez:
Hashconsing in an incrementally garbage-collected system: a story of weak pointers and hashconsing in ocaml 3.10.2. 13-22
- view
  authority control:
- export record
  dblp key:
  - conf/ml/NordlanderCG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ml/NordlanderCG08
Johan Nordlander, Magnus Carlsson, Andy Gill:
Unrestricted pure call-by-value recursion. 23-34

Session 2

- view
  authority control:
- export record
  dblp key:
  - conf/ml/Maranget08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ml/Maranget08
Luc Maranget:
Compiling pattern matching to good decision trees. 35-46
- view
  authority control:
- export record
  dblp key:
  - conf/ml/BlumeRR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ml/BlumeRR08
Matthias Blume, Mike Rainey, John H. Reppy:
Calling variadic functions from a strongly-typed language. 47-58
- view
  authority control:
- export record
  dblp key:
  - conf/ml/Lindley08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ml/Lindley08
Sam Lindley:
Many holes in hindley-milner. 59-68

Session 3

- view
  authority control:
- export record
  dblp key:
  - conf/ml/CanouBC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ml/CanouBC08
Benjamin Canou, Vincent Balat, Emmanuel Chailloux:
O'browser: objective caml on browsers. 69-78
- view
  authority control:
- export record
  dblp key:
  - conf/ml/HellerT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ml/HellerT08
Alec Heller, Jesse A. Tov:
Caml-Shcaml: an ocaml library for unix shell programming. 79-90
- view
  authority control:
- export record
  dblp key:
  - conf/ml/Filliatre08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ml/Filliatre08
Jean-Christophe Filliâtre:
A functional implementation of the garsia--wachs algorithm: (functional pearl). 91-96

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.