2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.OH2012
Juppix: a Linux Live-CD for Undergraduate Students
Juliusz Chroboczek, Sylvain Lebresne
Juppix is a Linux Live-CD with a comfortable programming environment for the Java, C and O'Caml programming languages that has been distributed to hundreds of undergaduate students…
cs.PL2009★ 2 cited
A Type System For Call-By-Name Exceptions
Sylvain Lebresne
We present an extension of System F with call-by-name exceptions. The type system is enriched with two syntactic constructs: a union type for programs whose execution may raise an…