Michael Stay
Publication Activity (10 Years)
Years Active: 2000-2022
Publications (10 Years): 6
Publications (10 Years): 6
Publications
- Christian Williams, Michael StayNative Type Theory. CoRR (2021)
- Michael Stay
- Kyle Butt, Derek Sorensen, Michael Stay
- Lucius Gregory Meredith, Michael Stay
- Michael Stay, L. G. Meredith
- Cristian S. Calude, Michael Stay
- Cristian S. Calude, Michael Stay
- Michael Stay
- Michael Stay
- Michael Stay
- Michael Stay
- Niels Ferguson, John Kelsey, Stefan Lucks, Bruce Schneier, Michael Stay, David A. Wagner, Doug Whiting