अपनी प्राथमिकता निर्धारित करें
फ़ॉन्ट स्केलिंग
अप्राप्ति
पृष्ठ अनुमापन
अप्राप्ति
रंग समायोजन
भा.प्रौ.सं.कानपुर

CS653A - Bioelectricity And Bio-Electronic Devices

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: