Showing 1–2 of 2 results for author: Lebresne, S

Juppix: a Linux Live-CD for Undergraduate Students

Authors: Juliusz Chroboczek, Sylvain Lebresne

Abstract: 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 at the University of Paris 7 over the last few years. We describe the lessons we learnt while compiling and distributing Juppix, and outline our future plans. 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 at the University of Paris 7 over the last few years. We describe the lessons we learnt while compiling and distributing Juppix, and outline our future plans. △ Less

Submitted 12 May, 2012; originally announced May 2012.

A Type System For Call-By-Name Exceptions

Authors: Sylvain Lebresne

Abstract: 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 exception at top level, and a corruption type for programs that may raise an exception in any evaluation context (not necessarily at top level). We present the syntax and reduction rules of the system, as well as its t… ▽ More 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 exception at top level, and a corruption type for programs that may raise an exception in any evaluation context (not necessarily at top level). We present the syntax and reduction rules of the system, as well as its typing and subtyping rules. We then study its properties, such as confluence. Finally, we construct a realizability model using orthogonality techniques, from which we deduce that well-typed programs are weakly normalizing and that the ones who have the type of natural numbers really compute a natural number, without raising exceptions. △ Less

Submitted 2 November, 2009; v1 submitted 12 July, 2009; originally announced July 2009.

Comments: 25 pages

ACM Class: D.3.1; F.4.1

Journal ref: Logical Methods in Computer Science, Volume 5, Issue 4 (November 2, 2009) lmcs:817