Image de couverture de livre

Synchronous Programming with Refinement Types

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	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
Publié:	2024
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
par: Dane, Serra Z., et autres
Publié: (2026)

Quantum Non-classicality from Causal Data Fusion
par: Lauand, Pedro, et autres
Publié: (2024)

Causal Data Fusion with Quantum Confounders
par: Lauand, Pedro, et autres
Publié: (2024)

Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
par: Tao, Yichen, et autres
Publié: (2026)

Modelling Cellular Perturbations with the Sparse Additive Mechanism Shift Variational Autoencoder
par: Bereket, Michael, et autres
Publié: (2023)

Uncalibrated Reasoning: GRPO Induces Overconfidence for Stochastic Outcomes
par: Bereket, Michael, et autres
Publié: (2025)

Knowledge, Attitude, Practice, and Associated Factors of Postoperative Pain Management Among Nurses
par: Bereket Samuel, et autres
Publié: (2025)

Predictors of Adherence to Diabetes Self‐Care Management Among Diabetes Patients in Public Health Facilities of Central Ethiopia: A Multicenter Cross‐Sectional Study
par: Arega Abebe Lonsako, et autres
Publié: (2025)

Formally verified asymptotic consensus in robust networks
par: Tekriwal, Mohit, et autres
Publié: (2022)

Data in support of: Atrophin-1 antisense oligonucleotide provides robust protection from pathology in a fully humanized DRPLA model
par: Carroll, Jeffery, et autres
Publié: (2026)

Affect-aware Cross-Domain Recommendation for Art Therapy via Music Preference Elicitation
par: Yilma, Bereket A., et autres
Publié: (2025)

Early Prediction of Alzheimer's and Related Dementias: A Machine Learning Approach Utilizing Social Determinants of Health Data
par: Kindo, Bereket, et autres
Publié: (2025)

MOSAIC: Multimodal Multistakeholder-aware Visual Art Recommendation
par: Yilma, Bereket A., et autres
Publié: (2024)

First-Class Refinement Types for Scala
par: Bovel, Matt, et autres
Publié: (2026)

Association between low‐calorie sweetener consumption during pregnancy and child health: A systematic review and meta‐analysis
par: Bereket Gebremichael, et autres
Publié: (2024)

Refinement-Types Driven Development: A study
par: Domínguez, Facundo, et autres
Publié: (2025)

Dependent Type Refinements for Futures
par: Somayyajula, Siva, et autres
Publié: (2023)

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

Formalization of Asymptotic Convergence for Stationary Iterative Methods
par: Tekriwal, Mohit, et autres
Publié: (2022)

Practical Refinement Session Type Inference (Extended Version)
par: Ueno, Toby, et autres
Publié: (2026)

Ownership Refinement Types for Pointer Arithmetic and Nested Arrays
par: Fujiwara, Yusuke, et autres
Publié: (2026)

Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types
par: Udomsrirungruang, Thien, et autres
Publié: (2024)

Learning over Positive and Negative Edges with Contrastive Message Passing
par: Pao-Huang, Peter, et autres
Publié: (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
par: Biniyam Sahiledengle, et autres
Publié: (2026)

Urban Housing Markets and Sustainability Risk: Empirical Evidence From South African Cities
par: Bereket A. Ataro, et autres
Publié: (2026)

SynQ: An Embedded DSL for Synchronous System Design with Quantitative Types
par: Chen, Rui, et autres
Publié: (2025)

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

RefineStat: Efficient Exploration for Probabilistic Program Synthesis
par: Kanda, Madhav, et autres
Publié: (2025)

Formulation of Nutrient‐Enriched Wheat‐Based Cookies Using Defatted Soybean Flour and Moringa stenopetala Leaf Powder
par: Melat Bereket Sherif, et autres
Publié: (2025)

Dependent Session Types for Verified Concurrent Programming
par: Fu, Qiancheng, et autres
Publié: (2025)

Mason: Type- and Name-Guided Program Synthesis
par: Geer, Jasper, et autres
Publié: (2026)

Logic Programming with Extensible Types
par: Perez, Ivan, et autres
Publié: (2026)

Quantum Simulation Programming via Typing
par: Li, Liyi, et autres
Publié: (2025)

Special Delivery: Programming with Mailbox Types (Extended Version)
par: Fowler, Simon, et autres
Publié: (2023)

Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types
par: Amorim, Arthur, et autres
Publié: (2025)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
par: Li, Kwing Hei, et autres
Publié: (2025)

From Traces to Program Incorrectness: A Type-Theoretic Approach
par: Yuan, Yongwei, et autres
Publié: (2025)

Profiles in Retention Part 1: Design Characteristics of a Graduate Synchronous Online Program
par: Aversa, Elizabeth, et autres
Publié: (2013)

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

Hygienic Practices of Vendors and Their Contribution to Coliform, Salmonella, and Shigella Bacteria of Raw Milk at Asella Town, Oromia, Ethiopia
par: Hirpo Tusa, et autres
Publié: (2024)