240-202 Comp Eng Lab II: Intro. to Prolog 1 Computer Engineering Lab II 240-202, Semester 2, 2005-2006 Who I am: Andrew Davison CoE, Info. Eng. Research.
Composing contracts An adventure in financial engineering Simon Peyton Jones and Julian Seward, Microsoft Research and Jean Marc Eber, LexiFi Technologies.
Prefix, Postfix, Infix Notation. Infix Notation / To add A, B, we write A+B / To multiply A, B, we write A*B / The operators ('+' and '*') go in between.