Toupie = µ-Calculus + Constraints
Abstract elided by the publisher.
Related papers
- Using the Constraint Language Toupie for "Software Cost Reduction" Specification Analysis (Abstract) TACAS 1996
- Open Bisimulation for the Concurrent Constraint Pi-Calculus ESOP 2008
- JOIN(X): Constraint-Based Type Inference for the Join-Calculus ESOP 2001
- An object-oriented calculus with term constraints JFP 2007
- A Dependent Dependency Calculus ESOP 2022
- A lambda-calculus foundation for universal probabilistic programming ICFP 2016
- Behavioral Equivalence in the Polymorphic Pi-calculus POPL 1997
- Modular Substructural Constraints for Embedded DSLs GPCE 2026