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
2018
ICFP
ICFP 2018-profile
View general profile
View general profile