Australian Category Seminar

• About AusCat
• Recent talks
• Past talks
• CoACT

Barry Jay

Here is a list of talks given by Barry Jay at the Australian Category Seminar. Click on the title of a talk for an abstract.

• Using categorical concepts in programming language design: FISH – 20 May 1998
• Extensive Challenges for Static Typing – 18 September 1996

Back