The following pages link to The power of Pi (Q5178754):
Displaying 10 items.
- \textsc{Mnemonics}: type-safe bytecode generation at run time (Q656864) (← links)
- The legal values of pi (Q762132) (← links)
- The quest for pi (Q1361163) (← links)
- Trends in trends in functional programming 1999/2000 versus 2007/2008 (Q1929344) (← links)
- More dependent types for distributed arrays (Q1929345) (← links)
- Auto in Agda (Q2941181) (← links)
- (Q3415332) (← links)
- Dependently Typed Programming in Agda (Q3649136) (← links)
- (Q4580232) (← links)
- (Q4841593) (← links)