000003779 001__ 3779
000003779 005__ 20231206121123.0
000003779 0247_ $$2DOI$$a10.6083/pr76f369j
000003779 037__ $$aIR
000003779 245__ $$aMulti-stage programming: axiomatization and type safety
000003779 269__ $$a1998
000003779 336__ $$aArticle
000003779 520__ $$acse-98-002
000003779 540__ $$fCC BY
000003779 542__ $$fIn copyright - single owner
000003779 691__ $$aOregon Graduate Institute
000003779 7001_ $$aTaha, Walid
000003779 8564_ $$97571a8b9-d5b2-4384-b62e-4887a86a82bb$$s238217$$uhttps://digitalcollections.ohsu.edu/record/3779/files/csetech-96.pdf
000003779 905__ $$a/rest/prod/pr/76/f3/69/pr76f369j
000003779 980__ $$aScholars Archive