ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding (3rd 2005 Tallinn, Estonia) profile picture

ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding (3rd 2005 Tallinn, Estonia)

Is this your author profile? Create an account to claim and customize it!

Stand Alone

MERLIN '05