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. |
From 30 July 2018 the research publications of UK based University of Nottingham authors (excluding student deposited eTheses) will be handled through the Research Information System (RIS).
To deposit an article after this date please Login to RIS and use the Outputs tab to Add New Output.
(See this blog for further information about this transition and the new repository for UK outputs.)
To deposit an article after this date please Login to RIS and use the Outputs tab to Add New Output.
(See this blog for further information about this transition and the new repository for UK outputs.)
