Browse by Authors and Editors
Jump to: 2018 Number of items: 1. 2018Vazou, 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. |