49 citations · 191 across the 12 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2017★ 49 cited
Simplicity: A New Language for Blockchains
Russell O'Connor
Simplicity is a typed, combinator-based, functional language without loops and recursion, designed to be used for crypto-currencies and blockchain applications. It aims to improve…
cs.PL2014
A Representation Theorem for Second-Order Functionals
Mauro Jaskelioff, Russell O'Connor
Representation theorems relate seemingly complex objects to concrete, more tractable ones. In this paper, we take advantage of the abstraction power of category theory and provide…
cs.PL2011★ 14 cited
Functor is to Lens as Applicative is to Biplate: Introducing Multiplate
Russell O'Connor
This paper gives two new categorical characterisations of lenses: one as a coalgebra of the store comonad, and the other as a monoidal natural transformation on a category of a cer…