Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Mon 24 Aug 2020 10:30 - 10:38 at SRC Posters - SRC Poster Session

This abstract presents Curry-Plugin, a compiler plugin for GHC that extends Haskell with support for nondeterministic computation with call-time choice, similar to how nondeterminism works in the functional logic programming language Curry.

Currently looking for a PhD position

Mon 24 Aug

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 11:30
10:30
8m
Poster
A GHC-Plugin to Compile Effectful Languages
Student Research Competition
10:38
8m
Poster
Certified double sided auction mechanisms
Student Research Competition
10:47
8m
Poster
Certified Optimisation of Stream Operations Using Heterogeneous Staging
Student Research Competition
James Lowenthal University of Cambridge
10:55
8m
Poster
Pattern Matching with Typed Holes
Student Research Competition
Yongwei Yuan University of Michigan
11:04
8m
Poster
Type Hole Inference
Student Research Competition
Zhiyi Pan University of Michigan
11:12
8m
Poster
Semantics for a Simple Differentiable Language Using Distribution Theory
Student Research Competition
Christopher Lam Cornell University
11:21
8m
Poster
Gradual Enforcement of IO Trace Properties
Student Research Competition
Cezar-Constantin Andrici Alexandru Ioan Cuza University of Iasi