Page Information

Versions Compared


  • This line was added.
  • This line was removed.
  • Formatting was changed.


Note: topics are listed in reverse chronological order.

Topics from 2017 


On March 17 we discussed a paper from Haskell 14 that gives an overview of LiquidHaskell a system based on refinements of Haskell's types with logical predicates that let you enforce critical properties at compile time.

Separation Logic

On February 24, March 3 and March 10, we discussed a tutorial by Peter O'Hearn on Separation Logic which is an extension of Hoare logic designed particularly for modelling heap structures.