Bob Reynders

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 10

Top Topics

Lambda Calculus

Database Management

Automated Deduction

Top Venues

Publications

Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders
A Typed Slicing Compilation of the Polymorphic RPC Calculus. CoRR (2021)
Bob Reynders, Kwanghoon Choi
Rec.HTML: Declarative HTML. Programming (2021)
Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders
A Typed Slicing Compilation of the Polymorphic RPC calculus. PPDP (2021)
Bob Reynders, Frank Piessens, Dominique Devriese
Gavial: Programming the web with multi-tier FRP. CoRR (2020)
Bob Reynders, Frank Piessens, Dominique Devriese
Gavial: Programming the web with multi-tier FRP. Art Sci. Eng. Program. 4 (3) (2020)
Bob Reynders, Michael Greefs, Dominique Devriese, Frank Piessens
Scalagna 0.1: towards multi-tier programming with Scala and Scala.js. Programming (2018)
Bob Reynders, Dominique Devriese
Efficient Functional Reactive Programming Through Incremental Behaviors. APLAS (2017)
Jeff Horemans, Bob Reynders, Dominique Devriese, Frank Piessens
Elmsvuur: A Multi-tier Version of Elm and its Time-Traveling Debugger. TFP (2017)
Ben Calus, Bob Reynders, Dominique Devriese, Job Noorman, Frank Piessens
FRP IoT modules as a Scala DSL. REBLS@SPLASH (2017)
Bob Reynders, Dominique Devriese, Frank Piessens
Experience Report: Functional Reactive Programming and the DOM. Programming (2017)
Bob Reynders, Dominique Devriese, Frank Piessens
Generating safe boundary APIs between typed EDSLs and their environments. GPCE (2015)
Bob Reynders, Dominique Devriese, Frank Piessens
Multi-Tier Functional Reactive Programming for the Web. Onward! (2014)