Toward an formal theory of expressivness of programming languages.
Programming and Polygonal Numbers
Types and Programming Languages by Benjamin C Pierce
Sorry, we are unable to log you in via Facebook at this time. Please try again later.
By joining, you agree to our
Already a member? Sign in.
Continue as Guest
This action might not be possible to undo. Are you sure you want to continue?