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

Personal website: http://www.cs.nott.ac.uk/~psxip1/

Research interests: Formal Methods, FRP

Contributions

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
ICFP 2018	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track Fault Tolerant Functional Reactive Programming (Functional Pearl)
Show activities from other conferences