Programming Languages Posts in Category #programming-languages 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 An Update on the State of Viper — May 7, 2018 at 03:19pm Parsing with Derivatives — May 22, 2017 at 02:01am Lexing Viper — May 17, 2017 at 01:31pm Viper Introduction — May 16, 2017 at 10:18am