Talks

From Aldor

• Computing with Category Theory (Youssef, BU 2001)

  Web Page

• Aldor Introduction I (Watt, UKQCD 2000)

  .ps(194579 bytes) .ps.gz(80810 bytes) .pdf(346134 bytes) .pdf.gz(180863 bytes)

• Aldor Introduction II (Watt, UKQCD 2000)

  .ps(143101 bytes) .ps.gz(60380 bytes) .pdf(180119 bytes) .pdf.gz(98930 bytes)

• Aldor Introduction III (Watt, UKQCD 2000)

  .ps(166395 bytes) .ps.gz(69192 bytes) .pdf(227122 bytes) .pdf.gz(123633 bytes)

• Aldor Compiler Internals I (Watt, UKQCD 2000)

  .ps(193184 bytes) .ps.gz(78732 bytes) .pdf(353440 bytes) .pdf.gz(178173 bytes)

• Aldor Compiler Internals II (Dunstan, UKQCD 2000)

  .ps(142527 bytes) .ps.gz(36555 bytes) .pdf(556609 bytes) .pdf.gz(511713 bytes)

• An Introduction to Aldor and its Type System(Dunstan, CFC 1999)

  .ps(33376 bytes) .ps.gz(13966 bytes) .pdf(556445 bytes) .pdf.gz(525228 bytes)

• Aldor: the language and recent directions (Watt, Sophia-Antipolis, 2000)

  .ps(300462 bytes) .ps.gz(63497 bytes) .pdf(201744 bytes) .pdf.gz(99030 bytes)