Skip to content. | Skip to navigation

Programming Tools Group

Sections

Personal tools

Log in

You are here: Home → Meetings → Termination Analysis of Higher-order Functional Programs

News: New editor of Science of Computer Programming 2008-05-23; Ralf Laemmel on the Expression Lemma 2008-05-15; Visit by Guy Steele and Richard Gabriel 2008-05-15; Two papers at OOPSLA 2008 2008-05-15; abc paper at POPL 2007 2006-09-14; More news…

Document Actions

Termination Analysis of Higher-order Functional Programs

Damien will demo his PAT 2005 talk on termination analysis of higher-order functional programs

What	Meeting
When	2005-06-01 12:00 PM 2005-06-01 01:00 PM 2005-06-01 from 12:00 pm to 01:00 pm
Where	002
Contact Name	Damien
Add event to calendar	vCal iCal

Powered by Plone CMS, the Open Source Content Management System

This site conforms to the following standards: