Pages that link to "Item:Q1330433"
From MaRDI portal
The following pages link to Dynamic typing: Syntax and proof theory (Q1330433):
Displayed 11 items.
- Space-efficient gradual typing (Q656856) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- A verified framework for higher-order uncurrying optimizations (Q968367) (← links)
- Type inference with partial types (Q1318726) (← links)
- Encoding types in ML-like languages (Q1826630) (← links)
- Trends in trends in functional programming 1999/2000 versus 2007/2008 (Q1929344) (← links)
- Session Types with Gradual Typing (Q2811931) (← links)
- A Delta for Hybrid Type Checking (Q3188298) (← links)
- Explicit effect subtyping (Q5120231) (← links)
- (Q5214814) (← links)
- Higher order symbolic execution for contract verification and refutation (Q5371996) (← links)