Richard Cobbe wrote: > PL Seminar, Jr > Fri, Sept 30 > 1-3pm WVH 164 (note change of room from last semester!) > ============= > > David van Horn will discuss kCFA implementation strategies. Well... I'll discuss the complexity of kCFA and give a proof-net (or sharing graph) view of the CFA problem. David