The following pages link to Prateek Mishra (Q914356):
Displayed 5 items.
- Type inference with subtypes (Q914357) (← links)
- Strictness analysis of the untyped \(\lambda\)-calculus (Q1114667) (← links)
- Denotational and operational semantics for prolog (Q3769948) (← links)
- Compiling short-circuit boolean expressions in one pass (Q3925156) (← links)
- (Q4038734) (← links)