eCommons@Cornell: Browsing eCommons

Browsing by Author Jeannin, Jean-Baptiste

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 3 of 3

Issue Date	Title	Author(s)
14-Jan-2012	Capsules and Separation	Jeannin, Jean-Baptiste; Kozen, Dexter
31-Dec-2012	CoCaml: Programming with Coinductive Types	Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra
26-Jan-2011	Computing with Capsules	Jeannin, Jean-Baptiste; Kozen, Dexter

Showing results 1 to 3 of 3