works on
distributed programming 1haskell 1microcontroller deployment 1mobile code 1runtime graph serialization 1

From the 1 of 2 linked papers with an AI index.

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2024

QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck

Robert Krook, Nicholas Smallbone, Bo Joel Svensson +1

This paper introduces a new parallel run-time for QuickCheck, a Haskell library and EDSL for specifying and randomly testing properties of programs. The new run-time can run multip…