www.aladdin.cs.cmu.edu

Following SODA04. New Orleans, LA, USA; 14 January 2004.

URLs from www.aladdin.cs.cmu.edu:

URL: http://www.aladdin.cs.cmu.edu/workshops/dynamic_alg

URL: http://www.aladdin.cs.cmu.edu/reu/mini_probes/papers/2005/talk_murphy05.swf

Tags: interesting fp programming flash presentation math mathematics toread computerscience functional cs distributed logic modal modallogic curry-howard modal-logic