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

poly

< >

poly is a minilanguage created in 2013.

#2786on PLDB 12Years Old
Homepage

lazy, functional, statically typed, parametric polymorphism, type inference


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

Built with Scroll v168.0.0