Cover Image

Synchronous Programming with Refinement Types

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chen, Jiawei, de Mendonça, José Luiz Vargas, Ayele, Bereket Shimels, Bekele, Bereket Ngussie, Jalili, Shayan, Sharma, Pranjal, Wohlfeil, Nicholas, Zhang, Yicheng, Jeannin, Jean-Baptiste
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
by: Dane, Serra Z., et al.
Published: (2026)

Quantum Non-classicality from Causal Data Fusion
by: Lauand, Pedro, et al.
Published: (2024)

Causal Data Fusion with Quantum Confounders
by: Lauand, Pedro, et al.
Published: (2024)

Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
by: Tao, Yichen, et al.
Published: (2026)

Modelling Cellular Perturbations with the Sparse Additive Mechanism Shift Variational Autoencoder
by: Bereket, Michael, et al.
Published: (2023)

Uncalibrated Reasoning: GRPO Induces Overconfidence for Stochastic Outcomes
by: Bereket, Michael, et al.
Published: (2025)

Knowledge, Attitude, Practice, and Associated Factors of Postoperative Pain Management Among Nurses
by: Bereket Samuel, et al.
Published: (2025)

Predictors of Adherence to Diabetes Self‐Care Management Among Diabetes Patients in Public Health Facilities of Central Ethiopia: A Multicenter Cross‐Sectional Study
by: Arega Abebe Lonsako, et al.
Published: (2025)

Formally verified asymptotic consensus in robust networks
by: Tekriwal, Mohit, et al.
Published: (2022)

Data in support of: Atrophin-1 antisense oligonucleotide provides robust protection from pathology in a fully humanized DRPLA model
by: Carroll, Jeffery, et al.
Published: (2026)

Affect-aware Cross-Domain Recommendation for Art Therapy via Music Preference Elicitation
by: Yilma, Bereket A., et al.
Published: (2025)

Early Prediction of Alzheimer's and Related Dementias: A Machine Learning Approach Utilizing Social Determinants of Health Data
by: Kindo, Bereket, et al.
Published: (2025)

MOSAIC: Multimodal Multistakeholder-aware Visual Art Recommendation
by: Yilma, Bereket A., et al.
Published: (2024)

First-Class Refinement Types for Scala
by: Bovel, Matt, et al.
Published: (2026)

Association between low‐calorie sweetener consumption during pregnancy and child health: A systematic review and meta‐analysis
by: Bereket Gebremichael, et al.
Published: (2024)

Refinement-Types Driven Development: A study
by: Domínguez, Facundo, et al.
Published: (2025)

Dependent Type Refinements for Futures
by: Somayyajula, Siva, et al.
Published: (2023)

Nurse-Led Programs Focusing on Social Support for People with Type 2 Diabetes Mellitus: A Scoping Review
by: Isabela Mendonça Rodrigues dos Santos
Published: (2024)

Formalization of Asymptotic Convergence for Stationary Iterative Methods
by: Tekriwal, Mohit, et al.
Published: (2022)

Practical Refinement Session Type Inference (Extended Version)
by: Ueno, Toby, et al.
Published: (2026)

Ownership Refinement Types for Pointer Arithmetic and Nested Arrays
by: Fujiwara, Yusuke, et al.
Published: (2026)

Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types
by: Udomsrirungruang, Thien, et al.
Published: (2024)

Learning over Positive and Negative Edges with Contrastive Message Passing
by: Pao-Huang, Peter, et al.
Published: (2026)

Association Between Low Maternal Body Mass Index (BMI) and the Co‐Occurrence of Multiple Forms of Childhood Undernutrition: A Systematic Review and Meta‐Analysis
by: Biniyam Sahiledengle, et al.
Published: (2026)

Urban Housing Markets and Sustainability Risk: Empirical Evidence From South African Cities
by: Bereket A. Ataro, et al.
Published: (2026)

SynQ: An Embedded DSL for Synchronous System Design with Quantitative Types
by: Chen, Rui, et al.
Published: (2025)

Distribution of basalt boulders and ice rafted debris in the region of the Iceland-Faroe-Ridge (Fig. 6-12)
by: Wohlfeil, Kay
Published: (1982)

RefineStat: Efficient Exploration for Probabilistic Program Synthesis
by: Kanda, Madhav, et al.
Published: (2025)

Formulation of Nutrient‐Enriched Wheat‐Based Cookies Using Defatted Soybean Flour and Moringa stenopetala Leaf Powder
by: Melat Bereket Sherif, et al.
Published: (2025)

Dependent Session Types for Verified Concurrent Programming
by: Fu, Qiancheng, et al.
Published: (2025)

Mason: Type- and Name-Guided Program Synthesis
by: Geer, Jasper, et al.
Published: (2026)

Logic Programming with Extensible Types
by: Perez, Ivan, et al.
Published: (2026)

Quantum Simulation Programming via Typing
by: Li, Liyi, et al.
Published: (2025)

Special Delivery: Programming with Mailbox Types (Extended Version)
by: Fowler, Simon, et al.
Published: (2023)

Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types
by: Amorim, Arthur, et al.
Published: (2025)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
by: Li, Kwing Hei, et al.
Published: (2025)

From Traces to Program Incorrectness: A Type-Theoretic Approach
by: Yuan, Yongwei, et al.
Published: (2025)

Profiles in Retention Part 1: Design Characteristics of a Graduate Synchronous Online Program
by: Aversa, Elizabeth, et al.
Published: (2013)

Artful Path to Healing: Using Machine Learning for Visual Art Recommendation to Prevent and Reduce Post-Intensive Care
by: Yilma, Bereket A., et al.
Published: (2024)

Hygienic Practices of Vendors and Their Contribution to Coliform, Salmonella, and Shigella Bacteria of Raw Milk at Asella Town, Oromia, Ethiopia
by: Hirpo Tusa, et al.
Published: (2024)