Browse by Authors and Editors
Jump to: Conference or Workshop Item Number of items: 1. Conference or Workshop ItemVazou, Niki and Breitner, Joachim and Kunkel, Rose and Van Horn, David and Hutton, Graham (2018) Theorem proving for all: equational reasoning in Liquid Haskell. In: Haskell Symposium 2018, 27-28 September 2018, St Louis, Missouri, USA. |