AI Chat AI Image Generator AI Video Text to Speech

Constraint-Based Type-Directed Program Synthesis

07/06/2019

∙

by Peter-Michael Osera, et al.

∙

∙

We explore an approach to type-directed program synthesis rooted in constraint-based type inference techniques. By doing this, we aim to more efficiently synthesize polymorphic code while also tackling advanced typing features such as GADTs that build upon polymorphism. Along the way, we also present an implementation of these techniques in Scythe, a prototype live, type-directed programming tool for the Haskell programming language and reflect on our initial experience with the tool.

page 1

page 2

page 3

page 4

research

∙ 10/25/2022

Program Synthesis Using Example Propagation

We present Scrybe, an example-based synthesis tool for a statically-type...

0 Niek Mulleners, et al. ∙

research

∙ 11/01/2019

Program Synthesis with Live Bidirectional Evaluation

We present an algorithm for completing program sketches (partial program...

0 Justin Lubin, et al. ∙

research

∙ 02/23/2021

A tier-based typed programming language characterizing Feasible Functionals

The class of Basic Feasible Functionals BFF_2 is the type-2 counterpart ...

0 Emmanuel Hainry, et al. ∙

research

∙ 10/09/2017

Synthesizing Bijective Lenses

Bidirectional transformations between different data representations occ...

0 Anders Miltner, et al. ∙

research

∙ 07/24/2019

Sketch-n-Sketch: Output-Directed Programming for SVG

For creative tasks, programmers face a choice: Use a GUI and sacrifice f...

0 Brian Hempel, et al. ∙

research

∙ 10/26/2018

Synthesizing Symmetric Lenses

Lenses are programs that can be run both "front to back" and "back to fr...

0 Anders Miltner, et al. ∙

research

∙ 04/16/2021

A Gradual Type System for Elixir

Elixir is a functional programming language with dynamic typing. We prop...

0 Mauricio Cassola, et al. ∙