Daily Archives: April 3, 2013

Verifying Object Invariants with Dependent Types

Posted on April 3, 2013 by Smalltalk organizer 01

When: Wednesday, 2013-Apr-03, 11h30-12h00 Where: FCUL-DI, room C6.3.38 Presenter: Joana Campos Abstract: In this smalltalk, I will present a simple dependently typed object-oriented language. Dependent types are types defined in terms of values that challenge the conventional distinction between the … Continue reading →

Posted in Smalltalk | Comments Off