Daniel Winograd-Cort

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 2

Top Topics

Quantifier Elimination

Image Based Modeling

Differential Privacy

Top Venues

Proc. ACM Program. Lang.

Publications

Daniel Winograd-Cort, Andreas Haeberlen, Aaron Roth, Benjamin C. Pierce
A framework for adaptive differential privacy. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Paul Hudak, Donya Quick, Mark Santolucito, Daniel Winograd-Cort
Real-time interactive music in Haskell. FARM@ICFP (2015)
Daniel Winograd-Cort, Paul Hudak
Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough. ICFP (2014)
Daniel Winograd-Cort, Hai Liu, Paul Hudak
Virtualizing Real-World Objects in FRP. PADL (2012)
Daniel Winograd-Cort, Paul Hudak
Wormholes: introducing effects to FRP. Haskell (2012)