Type systems for dummies | OpenReview

OpenReview.net

Login

Go to DBLP homepage

Type systems for dummies

Open Webpage

Andrea Asperti, Ferruccio Guidi

Published: 01 Jan 2012, Last Modified: 11 Apr 2025TLDI 2012EveryoneRevisionsBibTeXCC BY-SA 4.0

Loading

About OpenReview
Hosting a Venue
All Venues

Contact
Feedback
Sponsors
Join the Team

Frequently Asked Questions
Terms of Use
Privacy Policy

About OpenReview
Hosting a Venue
All Venues
Sponsors
Join the Team

Frequently Asked Questions
Contact
Feedback
Terms of Use
Privacy Policy

OpenReview is a long-term project to advance science through improved peer review with legal nonprofit status. We gratefully acknowledge the support of the OpenReview Sponsors. © 2025 OpenReview