[PRL] [Fwd: Peter Sewell] The POPLmark Challenge

Mitchell Wand wand at ccs.neu.edu
Thu Mar 17 07:16:07 EST 2005

Previous message: [PRL] [Fwd: CSAIL Event Calendar] TALK:Thursday 3-31-05 Program Analysis with Binary Decision Diagrams
Next message: [PRL] Fwd: [Pl-seminar] Semantics Seminar Schedule
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An embedded message was scrubbed...
From: Peter Sewell <Peter.Sewell at CL.CAM.AC.UK>
Subject: The POPLmark Challenge
Date: Thu, 17 Mar 2005 10:04:30 +0000
Size: 3219
Url: https://lists.ccs.neu.edu/pipermail/prl/attachments/20050317/9e8dd144/attachment.mht

Previous message: [PRL] [Fwd: CSAIL Event Calendar] TALK:Thursday 3-31-05 Program Analysis with Binary Decision Diagrams
Next message: [PRL] Fwd: [Pl-seminar] Semantics Seminar Schedule
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the PRL mailing list