Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

turnstile-plus

< >
edit

turnstile-plus is a grammar language created in 2020.

#4864on PLDB 4Years Old

We present Turnstile+, a metalanguage for implementing typed鈥攑articularly dependently typed鈥攍anguages.


- Build the next great programming language 路 Add 路 About 路 Search 路 Keywords 路 Livestreams 路 Labs 路 Resources 路 Acknowledgements

Built with Scroll v144.0.0