- Home
- About the University
- Find staff
- Nicholas Smallbone
Nicholas Smallbone
Researcher
Functional Programming (FP)-
Svensk ordbok utgiven av Svenska Akademien som app 2026 (för
Android)
Emma Sköldberg, Kristian Blensenius, Markus Forsberg, Louise Holmer, Hans Landqvist, Ann Lillieström, Stellan Petersson, Nicholas Smallbone, Jonatan Uppström, Petrus Wang
2026 -
Svensk ordbok utgiven av Svenska Akademien som app 2026 (för
iOS)
Emma Sköldberg, Kristian Blensenius, Markus Forsberg, Louise Holmer, Hans Landqvist, Ann Lillieström, Stellan Petersson, Nicholas Smallbone, Jonatan Uppström, Petrus Wang
2026 -
Svenska Akademiens ordlista, 15:e upplagan, som app (för
Android)
Kristian Blensenius, Emma Sköldberg, Petrus Wang, Louise Holmer, Lars Borin, Markus Forsberg, Hans Landqvist, Ann Lillieström, Stellan Petersson, Nicholas Smallbone, Jonatan Uppström
2026 -
Svenska Akademiens ordlista, 15:e upplagan, som app (för
iOS)
Kristian Blensenius, Emma Sköldberg, Petrus Wang, Louise Holmer, Lars Borin, Markus Forsberg, Hans Landqvist, Ann Lillieström, Stellan Petersson, Nicholas Smallbone, Jonatan Uppström
2026 -
Svenska Akademiens ordlista över svenska språket, 15
upplagan
Louise Holmer, Kristian Blensenius, Lars Borin, Markus Forsberg, Hans Landqvist, Ann Lillieström, Stellan Petersson, Emma Sköldberg, Nicholas Smallbone, Jonatan Uppström
2026 -
Karp: Språkbanken’s data editing
platform
Lars Borin, Emma Sköldberg, Ann Lillieström, Nicholas Smallbone, Maria Öhrman, Jonatan Uppström, Louise Holmer
Sixty years of Swedish computational lexicography / Dana Dannélls , Kristian Blensenius and Lars Borin (eds.) - 2025 -
Towards an Algebraic Approach for Corpus
Queries
Niklas Deworetzki, Peter Ljunglöf, Nicholas Smallbone
Swedish Language Technology Conference, 27–29 November 2024, Linköping, Sweden - 2024 -
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