Simon Peyton-Jones (auth.)

Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings

2013 · ENGLISH · PDF

View details →