Session 4: C. Boehm, Chairman

Automata, Languages and Programming

Volume 115 of the series Lecture Notes in Computer Science pp 114-128

Date:

Flow analysis of lambda expressions

Preliminary version
  • Neil D. JonesAffiliated withAarhus University