Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

ML Workshop 2006: Portland, Oregon, USA

> 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/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ml/2006
Andrew Kennedy, François Pottier:
Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006. ACM 2006, ISBN 1-59593-483-9
- view
  authority control:
- export record
  dblp key:
  - conf/ml/Weeks06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ml/Weeks06
Stephen Weeks:
Whole-program compilation in MLton. 1

Session 1

- view
  authority control:
- export record
  dblp key:
  - conf/ml/VII06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ml/VII06
Tom Murphy VII:
ML grid programming with ConCert. 2-11
- view
  authority control:
- export record
  dblp key:
  - conf/ml/FilliatreC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ml/FilliatreC06
Jean-Christophe Filliâtre, Sylvain Conchon:
Type-safe modular hash-consing. 12-19
- view
  authority control:
- export record
  dblp key:
  - conf/ml/BillingsSSS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ml/BillingsSSS06
John Billings, Peter Sewell, Mark R. Shinwell, Rok Strnisa:
Type-safe distributed programming for OCaml. 20-31

Session 2

- view
  authority control:
- export record
  dblp key:
  - conf/ml/SwaseyVCH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ml/SwaseyVCH06
David Swasey, Tom Murphy VII, Karl Crary, Robert Harper:
A separate compilation extension to standard ML. 32-42
- view
  authority control:
- export record
  dblp key:
  - conf/ml/Syme06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ml/Syme06
Don Syme:
Leveraging .NET meta-programming components from F#: integrated queries and interoperable heterogeneous execution. 43-54
- view
  authority control:
- export record
  dblp key:
  - conf/ml/Filliatre06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ml/Filliatre06
Jean-Christophe Filliâtre:
Backtracking iterators. 55-62

Session 3

- view
  authority control:
- export record
  dblp key:
  - conf/ml/LernerGC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ml/LernerGC06
Benjamin S. Lerner, Dan Grossman, Craig Chambers:
Seminal: searching for ML type-error messages. 63-73
- view
  authority control:
- export record
  dblp key:
  - conf/ml/Reppy06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ml/Reppy06
John H. Reppy:
Type-sensitive control-flow analysis. 74-83
- view
  authority control:
- export record
  dblp key:
  - conf/ml/Balat06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ml/Balat06
Vincent Balat:
Ocsigen: typing web interaction with objective Caml. 84-94

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.