Conference Proceedings

Sequence quantification

P Schachte, V Dahl (ed.), P Wadler (ed.)

Lecture Notes in Computer Science: Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003 | SPRINGER-VERLAG BERLIN | Published : 2003