Reactive model transformation with ATL

The Esterel synchronous programming language: design, semantics, implementation

Gérard Berry, Georges Gonthier · Science of Computer Programming · 1992 · 1.7K citations · Full text

Computing, Computer Engineering, Computer Science +9

A lazy evaluator

Peter Henderson, James H. Morris · 1976 · 327 citations · Full text

Computing, Computer Science, Algorithms +7

A history of Haskell

Paul Hudak, John Hughes, Simon Peyton Jones et al. · 2007 · 258 citations

Computing, Computer Science, Computer Systems +12

Program Transformation with Stratego/XT. Rules, Strategies, Tools, and Systems in Stratego/XT 0.9

Eelco Visser · Data Archiving and Networked Services (DANS) · 2004 · 230 citations · Full text

Computing, Computer Science, Formal Methods +13

Functional reactive programming from first principles

Zhanyong Wan, Paul Hudak · 2000 · 211 citations · Full text

Computing, Computer Engineering, Computer Science +17