The following pages link to Jay McCarthy (Q2287084):
Displayed 9 items.
- Demand control-flow analysis (Q2287086) (← links)
- Implementation and use of the PLT scheme web server (Q2464729) (← links)
- A Coq Library for Internal Verification of Running-Times (Q2798271) (← links)
- Running Probabilistic Programs Backwards (Q2802430) (← links)
- Computing in Cantor’s Paradise with λ ZFC (Q2900271) (← links)
- Automatically RESTful web applications (Q2936828) (← links)
- Cryptographic Protocol Explication and End-Point Projection (Q3533965) (← links)
- Fair enumeration combinators (Q4625156) (← links)
- Temporal higher-order contracts (Q5176974) (← links)