Jacques Carette, McMaster University

Default profile photo

Associate Professor Computing & Software Hamilton, Ontario carette@mcmaster.ca Office: (905) 525-9140 ext. 26869

Bio/Research

Mechanized Mathematics, especially system building (MathScheme)

Functional Programming, Program Transformation, Meta Programming, and Program Generation

Expressive programming languages

Mathematical knowledge management

Symbolic Computation - semantics, impleme...


Click to Expand >>

Bio/Research

Mechanized Mathematics, especially system building (MathScheme)

Functional Programming, Program Transformation, Meta Programming, and Program Generation

Expressive programming languages

Mathematical knowledge management

Symbolic Computation - semantics, implementation and applications



Click to Shrink <<

Links