🦃 Cozy up with autumn reads! Let our AI Librarian pick your perfect fireside book 🍁
Explore the literary world of this author
...
Abstract: "We present a type inference algorithm for a Haskell- like language based on order-sorted unification. The language features polymorphism, o...