Generating author description...
| Action | Title | Year | Authors |
|---|---|---|---|
| + PDF Chat | CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories | 2019 |
Fadil Kallat Tristan Schäfer Anna Vasileva |
| Coauthor | Papers Together |
|---|---|
| Fadil Kallat | 1 |
| Anna Vasileva | 1 |
| Action | Title | Year | Authors | # of times referenced |
|---|---|---|---|---|
| + | Program synthesis from polymorphic refinement types | 2016 |
Nadia Polikarpova Ivan Kuraj Armando Solar-Lezama |
1 |
| + | Mixin Composition Synthesis based on Intersection Types | 2017 |
Jan Bessai Tzu‐Chun Chen Andrej Dudenhefner Boris Düdder Ugo de’Liguoro Jakob Rehof |
1 |
| + PDF Chat | User Support for the Combinator Logic Synthesizer Framework | 2018 |
Jan Bessai Anna Vasileva |
1 |
| + PDF Chat | Intersection Subtyping with Constructors | 2019 |
Olivier Laurent |
1 |