We present a module system for Eliom, a tierless web programming language that extends OCaml. Our module language integrates well with both the Eliom and OCaml languages and supports nice properties of module systems such as a strong support for abstraction and separate compilation.
Thu 7 Sep Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change
|10:30 - 10:55|
|10:55 - 11:20|
|11:20 - 11:45|