Functional programming

Functional reactive programming from first principles

Zhanyong Wan, Paul Hudak

Citations: 211 • 2000

Arrows, Robots, and Functional Reactive Programming

Paul Hudak, Antony Courtney, Henrik Nilsson, John Peterson

Citations: 184 • 2003

Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy

Vladimir Lifschitz

Citations: 167 • 1991

Lambda in Motion: Controlling Robots with Haskell

John Peterson, Paul Hudak, Conal Elliott

Citations: 94 • 1998

Causal commutative arrows and their optimization

Hai Liu, Eric Cheng, Paul Hudak

Citations: 47 • 2009

Functional reactive programming from first principles

Zhanyong Wan, Paul Hudak

Citations: 46 • 2000

Arrows, Robots, and Functional Reactive Programming

Antony Courtney, Henrik Nilsson, John Peterson

Citations: 24 • 2002

Simple and compositional reification of monadic embedded languages

Josef Svenningsson, Bo Joel Svensson

Citations: 23 • 2013

A Comparative Review of Robot Programming Languages

İzzet Pembeci, Gregory D. Hager

Citations: 23 • 2003

Causal commutative arrows

Hai Liu, Eric Cheng, Paul Hudak

Citations: 20 • 2011

Functional automatic differentiation with dirac impulses

Henrik Nilsson

Citations: 16 • 2003

An erlang framework for autonomous mobile robots

Corrado Santoro

Citations: 12 • 2007

A General Approach to Derive Uncontrolled Reversible Semantics

Ivan Lanese, Doriana Medić

Citations: 11 • 2020

Performance level profiles: A formal language for describing the expected performance of functional modules

Ronen I. Brafman, Michael Bar-Sinai, Maor Ashkenazi

Citations: 9 • 2016

Dynamic applications from the ground up

Don Stewart, Manuel M. T. Chakravarty

Citations: 9 • 2005

Functional programming of behavior-based systems

Ian Horswill

Citations: 9 • 2003

Self-Organisation Programming: A Functional Reactive Macro Approach

Roberto Casadei, Francesco Dente, Gianluca Aguzzi, Danilo Pianini, Mirko Viroli

Citations: 8 • 2023

Reversible Computing in Debugging of Erlang Programs

Ivan Lanese, Ulrik Pagh Schultz, Irek Ulidowski

Citations: 7 • 2022

Causal commutative arrows and their optimization

Hai Liu, Eric Cheng, Paul Hudak

Citations: 7 • 2009

FProlog: A language to integrate logic and functional programming for automated assembly

Seth Hutchinson, A.C. Kak

Citations: 7 • 1986