Lecture - 34 Type Checking

Course Lectures

• Lecture - 1 Introduction to programming languages

  Prof. S. Arun Kumar

  Play
• Lecture - 2 Syntax

  Prof. S. Arun Kumar

  Play
• Lecture - 3 Grammars

  Prof. S. Arun Kumar

  Play
• Lecture - 4 Ambiguity

  Prof. S. Arun Kumar

  Play
• Lecture - 5 PLO:Syntax

  Prof. S. Arun Kumar

  Play
• Lecture - 6 Semantics

  Prof. S. Arun Kumar

  Play
• Lecture -7 Syntatic Classes

  Prof. S. Arun Kumar

  Play
• Lecture -8 Transition Systems

  Prof. S. Arun Kumar

  Play
• Lecture - 9 PL0 : Expressions

  Prof. S. Arun Kumar

  Play
• Lecture - 10 Binding

  Prof. S. Arun Kumar

  Play
• Lecture -11 Environments

  Prof. S. Arun Kumar

  Play
• Lecture -12 Declarations

  Prof. S. Arun Kumar

  Play
• Lecture -13 Commands

  Prof. S. Arun Kumar

  Play
• Lecture -14 Stores

  Prof. S. Arun Kumar

  Play
• Lecture -15 Summary

  Prof. S. Arun Kumar

  Play
• Lecture -16 Declarations and Commands

  Prof. S. Arun Kumar

  Play
• Lecture -17 Blocks

  Prof. S. Arun Kumar

  Play
• Lecture -18 Qualification

  Prof. S. Arun Kumar

  Play
• Lecture -19 Pragmatics

  Prof. S. Arun Kumar

  Play
• Lecture -20 Data

  Prof. S. Arun Kumar

  Play
• Lecture -21 Structured Data

  Prof. S. Arun Kumar

  Play
• Lecture - 22 Sequences

  Prof. S. Arun Kumar

  Play
• Lecture - 23 Control

  Prof. S. Arun Kumar

  Play
• Lecture - 24 Non- Determinacy

  Prof. S. Arun Kumar

  Play
• Lecture - 25 Programming Languages

  Prof. S. Arun Kumar

  Play
• Lecture - 26 Programming Languages

  Prof. S. Arun Kumar

  Play
• Lecture - 27 Programming Languages

  Prof. S. Arun Kumar

  Play
• Lecture - 28 Data as Functions

  Prof. S. Arun Kumar

  Play
• Lecture - 29 Data and Fixpoints

  Prof. S. Arun Kumar

  Play
• Lecture - 30 Normal Forms

  Prof. S. Arun Kumar

  Play
• Lecture - 31 Programming Languages

  Prof. S. Arun Kumar

  Play
• Lecture - 32 Monomorphism

  Prof. S. Arun Kumar

  Play
• Lecture - 33 Polymorphism

  Prof. S. Arun Kumar

  Play
• Lecture - 34 Type Checking

  Prof. S. Arun Kumar

  Playing
• Lecture - 35 Contexts

  Prof. S. Arun Kumar

  Play
• Lecture - 36 Abstracts

  Prof. S. Arun Kumar

  Play
• Lecture - 37 Procedures

  Prof. S. Arun Kumar

  Play
• Lecture - 38 Meanings

  Prof. S. Arun Kumar

  Play
• Lecture - 39 Parameters

  Prof. S. Arun Kumar

  Play
• Lecture - 40 The Future

  Prof. S. Arun Kumar

  Play