Overview on Program Synthesis From Refinement Types
Looking for the latest information on Program Synthesis From Refinement Types? We've researched comprehensive data, records, and insights about Program Synthesis From Refinement Types.
Core Information
Explore the key sources for Program Synthesis From Refinement Types.
Developments
Stay updated on Program Synthesis From Refinement Types's newest achievements.
Charles Hoskinson on Refinement Types and Plutus the Smart Contract Programming Language
[TyDe'22] Structural Refinement Types
Program Synthesis by Type-Guided Abstraction Refinement
[PLDI'26] Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
Anosy: Approximate Knowledge Synthesis with Refinement Types | Niki Vazou | Lambda Days 2022
Type-Directed Program Synthesis for RESTful APIs
PLSE Seminar Series Ranjit Jhala, Refinement Types for Dynamic Languages
[POPL'24] Mechanizing Refinement Types
[POPL'18] Program Synthesis using Abstraction Refinement
![[TyDe'22] Structural Refinement Types](https://i.ytimg.com/vi/MB7RNFTo7do/mqdefault.jpg)
![[PLDI'26] Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics](https://i.ytimg.com/vi/cK4CHUU0wm0/mqdefault.jpg)
![[POPL'24] Mechanizing Refinement Types](https://i.ytimg.com/vi/UXA7SRArBj8/mqdefault.jpg)
![[POPL'18] Program Synthesis using Abstraction Refinement](https://i.ytimg.com/vi/CYy6m1Gn-8Q/mqdefault.jpg)
![[POPL 2021] Intensional Datatype Refinement (full)](https://i.ytimg.com/vi/BkqoQfAWYTo/mqdefault.jpg)
![Details [POPL'24] Answer Refinement Modification: Refinement Type System for Algebraic Effects and... Guide](https://i.ytimg.com/vi/S4XojkWuEtY/mqdefault.jpg)
