Implicitly Heterogeneous Multi-Stage Programming

Introduction to Algorithms

V. J. Rayward‐Smith, Thomas H. Cormen, Charles E. Leiserson et al. · Journal of the Operational Research Society · 1991 · 16.9K citations

FFTW: an adaptive software architecture for the FFT

Matteo Frigo, Steven G. Johnson · 2002 · 1.8K citations

Engineering, Hardware Algorithm, Multi-rate Signal Processing +16

Multi-stage programming with explicit annotations

Walid Taha, Tim Sheard · 1997 · 339 citations

Engineering, Verification, Software Engineering +22

Simple unification-based type inference for GADTs

Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich et al. · 2006 · 335 citations

Engineering, Data Type, Data Science +13

Guarded recursive datatype constructors

Hongwei Xi, Chiyan Chen, Gang Chen · 2003 · 327 citations

Engineering, Data Type, Program Analysis +14