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

poly

< >

poly is a minilanguage created in 2013.

#2754on PLDB

11Years Old

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

Tags: minilanguage
Early development of poly happened in https://github.com/andrejbauer/plzoo/issues
Read more about poly on the web: 1.

PLDB - Build the next great programming language · About · Keywords · Livestreams · Labs · Resources · Acknowledgements · Part of the World Wide Scroll