Index of /courseware/cse3322/2005/03concepts

 Name                    Last modified       Size  Description

 Parent Directory        11-Oct-2006 10:29      -  
 slides_bw.pdf           28-Jul-2005 13:23   282k  
 slides_bw.ps            28-Jul-2005 13:18   237k  
 slides_bw2x2.pdf        28-Jul-2005 13:23   200k  
 slides_bw2x2.ps         28-Jul-2005 13:21   256k  

CSE3322: Programming Language Concepts II - V

• *.bw.*   -- 1 slide / page
• *.bw2x2.*   -- 4 slides (2x2) per page
• *.ps   -- postscript
• *.pdf

Also see more on:

There is a connection between type-checking and logic.

E.g. The type of the identity function, id:'t->'t, can be represented in predicate logic/ Prolog as arrow(T,T).

It can be instantiated to int->int  (arrow(int,int)), say, but not to int->bool  (arrow(int,bool)), say.

E.g. map : ('a->'b)->'a list->'b list,   map's type can be represented as arrow(arrow(A,B), arrow(list(A), list(B))). If this is matched against arrow(arrow(char,int), arrow(list(char), T)) we not only discover that it does match but also that A = char, B = int, and T = list(int).