The following pages link to Jeremy G. Siek (Q532407):
Displayed 15 items.
- A language for generic programming in the large (Q532409) (← links)
- Improving the lazy Krivine machine (Q2464718) (← links)
- Monotonic References for Efficient Gradual Typing (Q2802447) (← links)
- Reliable Generation of High-Performance Matrix Algebra (Q2828141) (← links)
- The gradualizer: a methodology and algorithm for generating gradual type systems (Q2828289) (← links)
- The Recursive Union of Some Gradual Types (Q3188297) (← links)
- Exploring the Design Space of Higher-Order Casts (Q3617687) (← links)
- (Q4945557) (← links)
- Blame and coercion: Together again for the first time (Q5019015) (← links)
- Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi (Q5020907) (← links)
- Threesomes, with and without blame (Q5255094) (← links)
- An extended comparative study of language support for generic programming (Q5308081) (← links)
- Big types in little runtime: open-world soundness and collaborative blame for gradual type systems (Q5370910) (← links)
- Automatically generating the dynamic semantics of gradually typed languages (Q5370913) (← links)
- Blame for all (Q5408544) (← links)