Talks
Go back to top menu.
- 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)]
Reports
Go back to top menu.
- Introduction to Aldor (Watt)
[Web page]
- The type system of Aldor (Poll and Thompson, UKC 1999)
[Web page]
- FOAM: First Order Abstract Machine Version 0.35
(Stephen M. Watt, Peter A. Broadbery, Pietro Iglio, Scott C. Morrison, Jonathan M. Steinbach)
[.pdf]
Papers
Go back to top menu.
- A first report on the A# compiler
(Broadbery, Dooley, Iglio, Morrison, Steinbach, Sutor, Watt - ISSAC 1994)
[Web page][.ps (148314 bytes)][.ps.gz (47804
bytes)][.pdf (214495 bytes)][.pdf.gz (90689 bytes)]
- On the Implementation of Dynamic Evalution
(Broadbery, Gomez-Diaz, Watt - ISSAC 1995)
[Web Page]
[.ps (130621 bytes)]
[.ps.gz (42360 bytes)]
[.pdf (176285 bytes)]
[.pdf.gz (78845 bytes)]