log in  |  register  |  feedback?  |  help  |  web accessibility
Logo
PLunch: Type-and-example-directed program synthesis
Phil Nguyen - University of Maryland, College Park
5237 Brendan Iribe Center for Computer Science and Engineering (IRB)
Wednesday, May 8, 2019, 1:00-2:00 pm Calendar
  • You are subscribed to this talk through .
  • You are watching this talk through .
  • You are subscribed to this talk. (unsubscribe, watch)
  • You are watching this talk. (unwatch, subscribe)
  • You are not subscribed to this talk. (watch, subscribe)
Abstract

Weekly PL lunch discussing the paper "Type-and-example-directed program synthesis". Discussion will be led by Phil Nguyen.

Link to paper: https://dl.acm.org/citation.cfm?id=2738007

This talk is organized by Kesha Hietala