GesbertNils

Parametric polymorphism and semantic subtyping

GesbertNils, GenevèsPierre, LayaïdaNabil, 2011 .

A Logical Approach to Deciding Semantic Subtyping

GesbertNils, GenevèsPierre, LayaïdaNabil, 2015 .

A theory of contracts for Web services

GesbertNils, CastagnaGiuseppe, PadovaniLuca, 2008 .

Modular session types for distributed object-oriented programming

GesbertNils, J GaySimon, T VasconcelosVasco, 2010 .