November 2012 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Thu Nov 1 20:44:00 CET 2012
Ending: Tue Nov 27 18:16:28 CET 2012
Messages: 4

• [Hs-Generics] adding meta-operators to guarded-rewriting   Nicolas Frisby
• [Hs-Generics] adding meta-operators to guarded-rewriting   José Pedro Magalhães
• [Hs-Generics] adding meta-operators to guarded-rewriting   Nicolas Frisby
• [Hs-Generics] University Lectureship in Computer Science (Software Engineering) at Oxford   Jeremy.Gibbons at cs.ox.ac.uk

Last message date: Tue Nov 27 18:16:28 CET 2012
Archived on: Tue Nov 27 18:16:32 CET 2012

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...