research
∙
06/21/2022
Why Robust Natural Language Understanding is a Challenge
With the proliferation of Deep Machine Learning into real-life applicati...
share
research
∙
02/10/2022
Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers
Verification of neural networks is currently a hot topic in automated th...
research
∙
05/19/2021
Separating Sessions Smoothly
This paper introduces Hypersequent GV (HGV), a modular and extensible co...
research
∙
04/03/2021
Property-driven Training: All You (N)Ever Wanted to Know About
Neural networks are known for their ability to detect general patterns i...
research
∙
03/26/2021
Deadlock-Free Session Types in Linear Haskell
Priority Sesh is a library for session-typed communication in Linear Has...
research
∙
03/26/2021
Prioritise the Best Variation
Binary session types guarantee communication safety and session fidelity...
research
∙
05/24/2020
Featherweight Go
We describe a design for generics in Go inspired by previous work on Fea...
research
∙
09/29/2019
Towards Races in Linear Logic
Process calculi based in logic, such as πDILL and CP, provide a foundati...
research
∙
09/12/2019
Rusty Variation: Deadlock-free Sessions with Failure in Rust
Rusty Variation (RV) is a library for session-typed communication in Rus...
research
∙
04/15/2019
Taking Linear Logic Apart
Process calculi based on logic, such as πDILL and CP, provide a foundati...
research
∙
11/06/2018
Better Late Than Never: A Fully Abstract Semantics for Classical Processes
We present Hypersequent Classical Processes (HCP), a revised interpretat...
research
∙
09/03/2017