User loginNavigation |
archivesA Semantic Model for Graphical User InterfacesNick Benton and Neel Krishnaswami, ICFP'11, A Semantic Model for Graphical User Interfaces:
This is an application of their (more squiggly) LICS'11 submission, Ultrametric Semantics of Reactive Programs. In both these cases, I find appealing the fact the semantic model led to a type system and a language that was tricky to find. By Ohad Kammar at 2011-09-10 20:25 | DSL | Fun | Functional | Paradigms | Semantics | Theory | 5 comments | other blogs | 16576 reads
|
Browse archivesActive forum topics |
Recent comments
2 weeks 4 days ago
2 weeks 4 days ago
2 weeks 4 days ago
24 weeks 6 days ago
29 weeks 23 hours ago
30 weeks 5 days ago
30 weeks 5 days ago
33 weeks 3 days ago
38 weeks 9 hours ago
38 weeks 10 hours ago