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

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 >>

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

Expressive programming languages

Mathematical knowledge management

Symbolic Computation - semantics, impleme...

Click to Expand >>

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 <<

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

Expressive programming languages

Mathematical knowledge management

Symbolic Computation - semantics, implementation and applications

Click to Shrink <<