08-2002-Lugiez-DalZilio.tree logic.pdf
Alechina.Path Constraints from a Modal Logic Point of View.pdf
BrownFuchRobieWadler01.msl.pdf
Caires.Cardelli.A Spatial Logic For Concurrency (Part II).A4.ps
Calcagno.Cardelli.Gordon.DecidingValidity.pdf
calcagno.decidability.separation.ps
Cardelli.Gordon.AnytimeAnywhere.A4.ps
CarGhe03-mscs.pdf
dalzilio.XMLSchema.RR-4631.ps
fanlibkin.XML.constraints.and.DTD.01xml.ps
HosoyaVouillonPierce.RegExpTypes.ps
index.html
klarlundSchwentickNeven.XMLLogic.ps
lozes.adjunct.pdf
martens.typechecking.pods04.pdf
milo.suciu.type.inference.pods99.ps
OHearn.Pym.logicofbunchedimpl99.ps
O'Hearn.Reynolds.Yang.localreasoning.ps
pym.onbunchedpredlogiclics.99.ps
schwentick.automata.pods04.1.pdf
schwentick.automata.pods04.2.pdf
schwentick.formalXML.edbt04.1.pdf
simeon.wadler.xml-essence.pdf
suciu.dbpl01-typechecking SSD.ps
tata.pdf
unified.constraints.for.XML.fankupersimeon.01.pdf
xduce-prelim.ps
xduce-toit.2003.ps
Yang.OHearn.semanticbasislocal.ps