The following pages link to Valery Trifonov (Q1826462):
Displayed 5 items.
- A syntactic approach to foundational proof-carrying code (Q1826465) (← links)
- Representing Java classes in a typed intermediate language (Q2817720) (← links)
- Fully reflexive intensional type analysis (Q2943360) (← links)
- (Q4417787) (← links)
- A type system for certified binaries (Q5178908) (← links)