Lambda calculus

Related papers: 1

Top Researchers

Paul Hudak

Institution: —

Hai Liu

Institution: —

Eric Cheng

Institution: —

Top Cited Papers

Causal commutative arrows and their optimization

Hai Liu, Eric Cheng, Paul Hudak

Citations: 47 • 2009

Related Technologies

Artificial intelligence Computer science Mathematics Computation Algorithm Theoretical computer science Programming language Discrete mathematics Haskell Functional programming