- Home
- About
- Find staff
- Nicholas Smallbone
Nicholas Smallbone
Researcher
Functional Programming (FP)-
Binary indexes for optimising corpus
queries
Peter Ljunglöf, Nicholas Smallbone, Mijo Thoresson, Victor Salomonsson
Proceedings of the 20th Conference on Natural Language Processing (KONVENS 2024), September 10-13, 2024, Vienna, Austria - 2024 -
Efficient corpus search using unary and binary
indexes
Peter Ljunglöf, Nicholas Smallbone
Swedish Language Technology Conference - 2022 -
Find More Bugs with
QuickCheck!
John Hughes, Ulf Norell, Nicholas Smallbone, Thomas Arts
11th IEEE/ACM International Workshop on Automation of Software Test (AST 2016) - 2016 -
Linking Unit Tests and
Properties
Alex Gerdes, John Hughes, Nicholas Smallbone, M. Wang
Erlang Workshop, 2015-09-04, Vancouver - 2015 -
Tip: Tools for inductive
provers
Dan Rosén, Nicholas Smallbone
Lecture Notes in Computer Science. 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2015, Suva, Fiji, 24-28 November 2015 - 2015 -
TIP: Tons of Inductive
Problems
Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone
Lecture Notes in Artificial Intelligence: International Conference on Intelligent Computer Mathematics (CICM) - 2015 -
An expressive semantics of
mocking
Josef Svenningsson, H.E. Svensson, Nicholas Smallbone, T. Arts, Ulf Norell, John Hughes
Lecture Notes in Computer Science: 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 - 2014 -
Hipster: Integrating theory exploration in a proof
assistant
Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen
Lecture Notes in Computer Science - 2014 -
Compiling Linear Logic using
Continuations
Jean-Philippe Bernardy, Dan Rosén, Nicholas Smallbone
2014 -
Automating Inductive Proofs using Theory
Exploration
Koen Claessen, Dan Rosén, Moa Johansson, Nicholas Smallbone
24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013 - 2013 -
Encoding Monomorphic and Polymorphic
Types
Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu, Nicholas Smallbone
Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2013, 16-24 March 2013, Rome - 2013 -
Lightweight verification of functional
programs
Nicholas Smallbone
2013 -
Property-based testing for functional
programs
Nicholas Smallbone
2011 -
Sort it out with monotonicity: translating between many-sorted and unsorted first-order
logic
Koen Claessen, Ann Lillieström, Nicholas Smallbone
Lecture Notes in Computer Science, CADE'11 Proceedings of the 23rd international conference on Automated deduction - 2011 -
Accelerating race condition detection through
procrastination
Thomas Arts, John Hughes, Ulf Norell, Nicholas Smallbone, Hans Svensson
Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, Tokyo, 23 September 2011 - 2011 -
QuickSpec: Guessing Formal Specifications using
Testing
Koen Claessen, Nicholas Smallbone, John Hughes
Lecture Notes in Computer Science. 4th International Conference on Tests and Proofs, TAP 2010, Malaga, 1-2 July 2010 - 2010 -
Ranking programs using black box
testing
Koen Claessen, John Hughes, Michal H. Palka, Nicholas Smallbone, Hans Svensson
Proceedings - International Conference on Software Engineering - 2010 -
Finding Race Conditions in Erlang with Quick Check and
PULSE
Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, U. Wiger
ICFP'09: Proceedings of the ACM SIGPLAN International Conference on Functional Programming - 2009 -
Finding Race Conditions in Erlang with QuickCheck and
PULSE
Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Ulf Wiger
ACM SIGPLAN international conference on Functional programming - 2009