The following pages link to Racket (Q31821):
Displaying 8 items.
- Determining parameters of moon's orbital and rotational motion from LLR observations using GRAIL and IERS-recommended models (Q333830) (← links)
- The interaction of contracts and laziness (Q526445) (← links)
- Cuboids, a class of clutters (Q1985449) (← links)
- Expressing contract monitors as patterns of communication (Q2981991) (← links)
- The Recursive Union of Some Gradual Types (Q3188297) (← links)
- An extended account of contract monitoring strategies as patterns of communication (Q4577815) (← links)
- Efficiency of lambda-encodings in total type theory (Q5371961) (← links)
- Blame for all (Q5408544) (← links)