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 AugDisplayed time zone: Eastern Time (US & Canada) change
Mon 24 Aug
Displayed time zone: Eastern Time (US & Canada) change
10:30 - 11:30 | |||
10:30 8mPoster | A GHC-Plugin to Compile Effectful Languages Student Research Competition Kai-Oliver Prott CAU Kiel | ||
10:38 8mPoster | Certified double sided auction mechanisms Student Research Competition Suneel sarswat TIFR | ||
10:47 8mPoster | Certified Optimisation of Stream Operations Using Heterogeneous Staging Student Research Competition James Lowenthal University of Cambridge | ||
10:55 8mPoster | Pattern Matching with Typed Holes Student Research Competition Yongwei Yuan University of Michigan | ||
11:04 8mPoster | Type Hole Inference Student Research Competition Zhiyi Pan University of Michigan | ||
11:12 8mPoster | Semantics for a Simple Differentiable Language Using Distribution Theory Student Research Competition Christopher Lam Cornell University | ||
11:21 8mPoster | Gradual Enforcement of IO Trace Properties Student Research Competition Cezar-Constantin Andrici Alexandru Ioan Cuza University of Iasi | ||
