179
click to vote
TLCA
2005
Springer
16 years 4 days ago
2005
Springer
αProlog is a logic programming language which is well-suited for rapid prototyping of type systems and operational semantics of typed λ-calculi and many other languages involving...