[PRL] Something to try at the next POPL?

Mitchell Wand wand at ccs.neu.edu
Sat Mar 15 16:51:29 EDT 2008

Previous message: [PRL] Summer School on Logic and Theorem Proving in Programming Languages
Next message: [PRL] Something to try at the next POPL?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

http://www.rocketboom.com/vlog/rb_08_mar_13
-------------- next part --------------
HTML attachment scrubbed and removed

Previous message: [PRL] Summer School on Logic and Theorem Proving in Programming Languages
Next message: [PRL] Something to try at the next POPL?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the PRL mailing list