L07HindleyMilner2Print.pdf | Multithreaded Parallelism: Languages and Compilers | Electrical Engineering and Computer Science | MIT OpenCourseWare

Course Info

Instructor

Prof. Arvind

Departments

Electrical Engineering and Computer Science

As Taught In

Fall 2002

Level

Graduate

Topics

Engineering

Computer Science

Programming Languages

Software Design and Engineering

Theory of Computation

Learning Resource Types

Exams

Lecture Notes

Projects

Programming Assignments

Download Course

Lecture Notes

L07HindleyMilner2Print.pdf

Description:

The Hindley-Milner Type System (continued)

Resource Type:

Lecture Notes

file_download Download File

MIT Open Learning

Over 2,500 courses & materials

Freely sharing knowledge with learners and educators around the world. Learn more

© 2001–2023 Massachusetts Institute of Technology

Accessibility

Creative Commons License

Terms and Conditions

Proud member of:

© 2001–2023 Massachusetts Institute of Technology