Showing 1-20 of 50 topics
Modelling a spinner widget in RDP Manuel Simoni 1/18/18
How to model a text input field in RDP? Manuel Simoni 12/22/17
"Unapplying" signals? Manuel Simoni 3/27/17
Inactivity in networked RDP Manuel Simoni 8/1/16
RDP outside of Haskell Justin P 11/13/15
RESTful RDP with big values Manuel Simoni 8/2/15
Substructural properties and laziness Matthew Blount 7/31/15
Progress/busyness indicators for interactive apps Manuel Simoni 6/18/15
Uninstalling a concrete behavior instance Manuel Simoni 6/15/15
Parallel processing of values that don't fit into memory Manuel Simoni 6/15/15
Virtual Sums for Typechecking? David Barbour 11/22/14
wikilon looks like helloApp so far? Dan Connolly 11/8/14
Bank Account Jack Waugh 9/3/14
Semantics of a Signal Jack Waugh 9/1/14
How is runtime termination guarenteed? Kaylee Blake 1/28/14
no support for definitions in AO/ABC? Robert Majewski 12/2/13
embedding traditional gui kit as RDP resource Robert Majewski 11/29/13
Philosophy of errors and state Ross Angle 11/21/13
Staging for PL/UI Synthesis [was Re: Static Choices and Offerings] David Barbour 11/19/13
Linear Types with Conditionals? David Barbour 10/10/13
More topics »