Ivan Perez - ICFP 2018

Registered user since Fri 19 May 2017

Name:Ivan Perez

Bio:

I like functional programming, functional reactive programming, aerospace, space.

Affiliation:National Institute of Aerospace, USA

Research interests:Formal Methods, FRP

Contributions

ICFP 2018	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track Fault Tolerant Functional Reactive Programming (Functional Pearl)
PLMW @ ICFP 2018	Panel Discussion: Research in Functional Programming
FARM 2018	Committee Member in Program Committee within the FARM 2018-track
Haskell 2018	Rhine: FRP with Type-Level Clocks
Show activities from other conferences