[Alta-Logic] Peripatetic Seminar for 21 March 2025

[Geoff Vooys]

Hi Everybody,

Tomorrow one of Robin's MSc. students, Saina, will be giving the talk in the Peripatetic seminar at 14:00 in ICT 616. Details regarding the talk may be found following the body of this email. I hope to see you all there!

Cheers,
Geoff

Speaker: Saina Daneshmandjahromi

Time: 14:00 Mountain Daylight Time

Location: ICT 616

Title: Incorporating Universally Quantified Types into CaMPL

Abstract: Haskell’s type system is based on the Hindley-Milner type system, which supports only rank-1 types. As functional languages have evolved, higher-ranked polymorphism has become essential for expressing more general and reusable functions. However, full type inference for higher-ranked types is undecidable, often requiring explicit type annotations. In this work, we propose a simplified type inference approach compared to the system proposed by Peyton Jones. Our approach explicitly handles universal quantification of type variables, improving predictability and helping programmers determine when annotations are necessary. We demonstrate our method using a minimal programming language syntax, providing a structured approach to inferring types for higher-ranked polymorphism while maintaining clarity and usability.



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20250320/b5e041c3/attachment.html>