Gabriel Scherer

icon indicating a website link http://gasche.info/ icon indicating an email [email protected]

Results 4 repositories owned by Gabriel Scherer

icfp2013-papers

73
Stars
17
Forks
Watchers

List of ICFP'13 accepted papers, with links to preprint or additional information when available

verified publisher icon gasche

icfp2016-papers

140
Stars
23
Forks
Watchers

Link to preprints for ICFP'16 and co-located events

verified publisher icon gasche

icfp2017-papers

137
Stars
21
Forks
Watchers

Link to preprints for ICFP'17 and colocated events

verified publisher icon gasche

manual-ocamlbuild

67
Stars
15
Forks
Watchers

A new reference manual for the ocamlbuild tool

verified publisher icon gasche