## User login## Navigation |
## Records, sums, cases, and exceptions: Row-polymorphism at workVideo: Records, sums, cases, and exceptions: Row-polymorphism at work, Matthias Blume.
Found this to be an enjoyable and thorough overview of MLPolyR, a language created for a PL course that goes all-out on various dimensions of row polymorphism, resulting in a small yet powerful language. (previously) |
## Browse archives## Active forum topics- Programming Languages as Mathematical Representations
- Viability of a static type system (like ML) for a relational language?
- Looking for references on the expressiveness and computational completeness of a relational programming language
- language handling of memory and other resource failures
- Whither FRP?
## New forum topics |

## Recent comments

8 hours 9 min ago

8 hours 16 min ago

1 day 3 hours ago

1 day 7 hours ago

1 day 8 hours ago

1 day 8 hours ago

2 days 17 hours ago

2 days 18 hours ago

2 days 18 hours ago

2 days 18 hours ago