# Vehicle Platooning Simulations with Functional Reactive Programming

arXiv: https://arxiv.org/abs/1803.10383 · HTML: https://mlsanity.com/paper/1803.10383/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 28 Mar 2018.

## Built on by (most cited first, 1 of 1)

- [Hailstorm : A Statically-Typed, Purely Functional Language for IoT Applications](https://mlsanity.com/paper/2105.13468/) (2021)

## Abstract (arXiv)

Functional languages have provided major benefits to the verification 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 benefits of functional languages and an easy interface to a reactive environment. We present a tool for building autonomous vehicle controllers in FRP using Haskell.