Functional languages have provided major bene ts to the veri cation community. Although features such as purity, a strong type system, and computational abstractions can help guide programmers away from costly errors, these can present challenges when used in a reactive system. Functional Reactive Programming is a paradigm that allows users the bene ts of functional languages and an easy interface to a reactive environment. We present a tool for building autonomous vehicle controllers in FRP using Haskell.
CCS CONCEPTS•Computer systems organization →Embedded and cyberphysical systems; •Software and its engineering →Embedded software; Real-time systems software; KEYWORDS FRP, Autonomous Vehicles ACM Reference format: