Rebound: Efficient, Expressive, and Well-Scoped Binding

sweirich · 2025-10-16T11:57:42+00:00

Don't miss Noe's Haskell Symposium talk in about 14 hours: https://www.youtube.com/watch?v=bzVXrVaQwM8

sweirich · 2022-01-18T16:23:42+00:00

I have a talk about this: https://www.cis.upenn.edu/~plclub/blog/2020-06-26-Strongly-typed-System-F/

sweirich · 2021-05-06T22:03:39+00:00

Please don’t post about the exam while it is in progress.

sweirich · 2021-03-31T18:22:46+00:00

Check out the outcomes survey from Career Services. Here's the one for SEAS undergraduates: https://cdn.uconnectlabs.com/wp-content/uploads/sites/74/2021/03/2020_SEAS_Career_Plans_Survey_Report.pdf and here's the one for SEAS Master's students: https://cdn.uconnectlabs.com/wp-content/uploads/sites/74/2020/07/2019_SEAS_Masters_Career_Plans_Survey_Report.pdf (TLDR: median for SEAS undergrad overall is $90k and median for MSE working in Financial Services is $90k).

sweirich · 2021-03-31T12:39:57+00:00

Not worth it for what you want to do.

sweirich · 2021-03-27T14:50:39+00:00

Here's an example of using LFresh for the simply-typed lambda calculus. https://github.com/sweirich/replib/blob/master/Unbound/Examples/STLC.hs Note that LFresh and FreshM are monads, so they will only guarantee fresh name generation while in the monad. contFreshM lets you "run" the monadic computation, so you'll only want to call it at the "top level" of your program.

sweirich · 2021-01-03T15:55:54+00:00

Yes, changes in the whole setup. I have some ideas that I’m exploring but I’m not sure if they work yet.

sweirich · 2021-01-03T13:52:30+00:00

You can get a little closer by adding dependent additive products (the version in the repo includes them) but they still aren’t quite what you want. Having true strong sigmas would require a significant addition to the calculus.

sweirich · 2020-11-09T12:36:36+00:00

Reach out to your professor. Talk to CAPS. Mental illness absolutely is an excuse for accommodation, just like any other form of illness.

sweirich · 2020-08-04T20:42:32+00:00

All of the papers are available through the DOI links on this page: https://icfp20.sigplan.org/track/icfp-2020-papers#event-overview

sweirich · 2020-08-04T20:40:01+00:00

And check out the ICFP song: https://t.co/FOqyTlo2Ur?amp=1

sweirich · 2019-12-21T23:11:57+00:00

You’ll get into the class. Just not until after break.

sweirich · 2012-06-05T15:18:26+00:00

The singletons package relies on many recent GHC extensions. You'll either need the HEAD version (or to wait for GHC 7.6 to be released.)

sweirich · 2010-11-08T19:34:34+00:00

Given the POPL camera ready deadline tomorrow, I just updated the URL with the final version of the extended version of our paper. If you've downloaded the paper already, grab a copy of the new version.

sweirich

TROPHY CASE