The following pages link to Michael I. Schwartzbach (Q685349):
Displaying 30 items.
- (Q532413) (redirect page) (← links)
- XML graphs in program analysis (Q532414) (← links)
- Interpretations of recursively defined types (Q685350) (← links)
- The metafront system: safe and extensible parsing and transformation (Q995468) (← links)
- A new formalism for relational algebra (Q1186599) (← links)
- Safety analysis versus type inference for partial types (Q1199876) (← links)
- Injectivity of composite functions (Q1333155) (← links)
- Static typing for object-oriented programming (Q1336775) (← links)
- Efficient inference of partial types (Q1337466) (← links)
- Static correctness of hierarchical procedures (Q1351792) (← links)
- The DSD schema language (Q1857291) (← links)
- Safety analysis versus type inference (Q1891140) (← links)
- (Q2708973) (← links)
- (Q2729054) (← links)
- (Q2736357) (← links)
- MONA IMPLEMENTATION SECRETS (Q3021971) (← links)
- Secure Multiparty Computation Goes Live (Q3655178) (← links)
- (Q3975167) (← links)
- (Q4027633) (← links)
- (Q4038679) (← links)
- (Q4230360) (← links)
- (Q4319801) (← links)
- (Q4540967) (← links)
- (Q4793170) (← links)
- (Q4813388) (← links)
- Efficient recursive subtyping (Q4847313) (← links)
- (Q4954450) (← links)
- A type system for dynamic Web documents (Q5178859) (← links)
- Database Theory - ICDT 2005 (Q5316601) (← links)
- Database Programming Languages (Q5493330) (← links)
