Search filters

List of works by Ranjit Jhala

Complete First-Order Reasoning for Properties of Functional Programs

scientific article published on 16 October 2023

Flux: Liquid Types for Rust

scientific article published in 2023

Refinement Type Refutations

scientific article published on 08 October 2024

Seq2Parse: neurosymbolic parse error repair

scientific article published on 31 October 2022

The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming

scientific article published on 31 August 2023

Paulina is supported by:

About Paulina

Help