Nicholas Smallbone -

Not registered as user

Name:Nicholas Smallbone

Affiliation:Chalmers University of Technology, Sweden

Contributions

2019

FHPNC

Author of Safety at speed: In-place array algorithms from pure functional programs by safely re-using storage within the FHPNC-track

ICFP

Committee Member in External Review Committee within the Research Papers-track

2018

Erlang

Author of Understanding Formal Specifications through Good Examples within the Erlang 2018-track

2017

Haskell

Author of QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration) within the Haskell 2017-track