अपनी प्राथमिकता निर्धारित करें
फ़ॉन्ट स्केलिंग
अप्राप्ति
पृष्ठ अनुमापन
अप्राप्ति
रंग समायोजन
भा.प्रौ.सं.कानपुर
  • घर
  • Course Content
  • सीएस653ए - बायोइलेक्ट्रिसिटी एंव बायो-इलेक्ट्रॉनिक उपकरण

सीएस653ए - बायोइलेक्ट्रिसिटी एंव बायो-इलेक्ट्रॉनिक उपकरण

IITK

Prerequisites:

3-0-0-9

Course Contents

ML (CAML dialect); X calculus and combinators; abstraction and higher order functions; lazy and eager evaluation; types, polymorphism and type inference; Equations and pattern matching; SECD machine; de-notational semantics of functional languages; implementing functional languages. 


 

Topics

Current Course Information

Instructor(s):

Number of sections:

Tutors for each section:

Schedule for Lectures:

Schedule for Tutorial:

Schedule for Labs: