[TYPES] Optimizing data representation

[Richard Eisenberg]

> On Dec 10, 2020, at 1:49 PM, Stefan Monnier <monnier at iro.umontreal.ca> wrote:
> 
> That sounds much more impressive than turning Nats into machine
> integers, indeed, I'm interested to hear what you find.
> 
> 

I've been pointed to https://cozy.uwplse.org/, which I think is the project I was looking for.

Thanks, TYPES!
Richard

-=-=-=-=-=-=-=-=-=-=-
Richard A. Eisenberg, PhD
Principal Researcher at https://tweag.io
https://richarde.dev/