From the 1 of 5 linked papers with an AI index.
2 citations · 2 across the 4 of their papers we have counts for
4 papers · 1 filter
Complexity Theory of Randomised Testing
Pingshi Yu, Chengsong Tan, Nicolas Wu +1
The paper develops a complexity-theoretic framework for random input generators used in software testing, showing that any recursively enumerable language can be generated and char…
Bayesian Separation Logic
Shing Hin Ho, Nicolas Wu, Azalea Raad
Bayesian probabilistic programming languages (BPPLs) let users denote statistical models as code while the interpreter infers the posterior distribution. The semantics of BPPLs are…
Handling Higher-Order Effectful Operations with Judgemental Monadic Laws
Zhixuan Yang, Nicolas Wu
This paper studies the design of programming languages with handlers of higher-order effectful operations -- effectful operations that may take in computations as arguments or retu…
Scoped Effects as Parameterized Algebraic Theories
Cristina Matache, Sam Lindley, Sean Moss +3
Notions of computation can be modelled by monads. Algebraic effects offer a characterization of monads in terms of algebraic operations and equational axioms, where operations are…