🎯 Dependent Types - matmat · Scour

std::pair (3) Linux Manual Page 🔗Dependently Typed

systutorials.com·5h

Existence and Constructions of Strict Function-Correcting Codes with Data Protection ⚗️Algebraic Coding

An Effective Orchestral Approach to Satisfiability Modulo Prime Fields 🧮Constraint SMT

Templates in Rewriting Induction 🔗Functional Compilers

std::__debug::unordered_multimap (3) Linux Manual Page 🦀Rust Macros

systutorials.com·1d

On-the-fly LTLf Synthesis under Partial Observability 🔍Type Inference

Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes) ⚖️Verification Calculi

std::adjacent_difference (3) Linux Manual Page 🦀Rust Verification

systutorials.com·1d

std::__debug::set (3) Linux Manual Page 🦀Rust Verification

systutorials.com·1d

Full Definability in a Profunctorial Model 🔲Proof Irrelevance

std::__parallel (3) Linux Manual Page 🦀Rust Verification

systutorials.com·1d

Finite Functional Programming 🔗Functional Compilers

std::__detail (3) Linux Manual Page 🦀Rust Verification

systutorials.com·1d

Beyond Code Reasoning: A Specification-Anchored Audit Framework for Expert-Augmented Security Verification 🧪Binary Fuzzing

Automaton-based Characterisations of First Order Logic over Infinite Trees ⚙Automata Theory

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version) 🧠Separation Logic

Coherent Rollout Oracles for Finite-Horizon Sequential Decision Problems 📼Tape Combinators

std::is_copy_constructible,std::is_trivially_copy_constructible,std::is_nothrow_copy_constructible (3) Linux Manual Page 🦀Rust Verification

systutorials.com·9h

Ownership Refinement Types for Pointer Arithmetic and Nested Arrays 🔬Refinement Types

On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics 🎯Performance Proofs

No more posts from matmat's subscribed feeds.

Scour all 24432 feeds Learn more about Feeds

Sign up or log in to see more results

Log in to enable infinite scrolling