Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Thu 27 Sep 2018 10:45 - 11:10 at New York Central - Types Chair(s): Richard A. Eisenberg

Dependently typed programming languages, such as Idris and Agda, feature rich interactive environments that use informative types to assist users with the construction of programs. However, these interactive environments have been provided by the authors of the language, and users have not had an easy way to extend and customize them. We address this problem by extending Idris’s metaprogramming facilities with primitives for describing new type-directed editing features, making Idris’s editors as extensible as its elaborator.

Thu 27 Sep

tyde-2018
10:20 - 12:00: TyDe 2018 - Types at New York Central
Chair(s): Richard A. EisenbergBryn Mawr College, USA
tyde-201810:20 - 10:45
Research paper
Philipp SchusterUniversity of Tübingen, Germany, Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany
DOI
tyde-201810:45 - 11:10
Research paper
Joomy KorkutWesleyan University, USA, David Thrane ChristiansenGalois, USA
DOI
tyde-201811:10 - 11:35
Research paper
Victor Cacciari MiraldoUtrecht University, Netherlands, Alejandro SerranoUtrecht University, Netherlands
DOI
tyde-201811:35 - 12:00
Research paper
Ilya YanokUSI Lugano, Switzerland, Nate NystromUSI Lugano, Switzerland
DOI