Search filters

List of works by Nicolas Wu

Algebraic Effects Meet Hoare Logic in Cubical Agda

scientific article published on 05 January 2024

Embedding by Unembedding

scientific article published on 31 August 2023

Extensible Embedded Hardware Description Languages with Compilation, Simulation and Verification

scientific article published on 19 July 2023

Flexible presentations of graded monads

scientific article published in 2022

Fusing industry and academia at GitHub (experience report)

scientific article published in 2022

Linearly qualified types: generic inference for capabilities and uniqueness

scientific article published in 2022

Modular probabilistic models via algebraic effects

scientific article published in 2022

Quantitative metrics for evaluating the phased roll-out of clinical information systems. ⬇️

scientific article published on 28 June 2017

Paulina is supported by:

About Paulina

Help