Type Systems Posts in Category #type-systems Solidifying Viper's Type System (Somewhat) — Apr 9, 2019 at 01:20pm Alternatives to Immutability in Viper — Mar 11, 2019 at 12:25pm Algebraic Data Types in Viper — Mar 2, 2019 at 05:17pm Further Thoughts on Viper's Type System — Feb 28, 2019 at 11:25am Musings on Viper's Future Type System — Jan 16, 2019 at 03:25pm