|
1
|
Typing XHTML Web Applications in SMLserver
– Martin Elsman, Ken Friis Larsen
- 2003
|
|
10
|
Typing XHTML Web Applications in ML
– Martin Elsman, Ken Friis Larsen
- 2004
|
|
29
|
Modeling Web Interactions
– Paul Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
- 2003
|
|
16
|
iData For The World Wide Web - Programming Interconnected Web Forms
– Rinus Plasmeijer, Peter Achten
- 2006
|
|
13
|
The Implementation of iData - A Case Study in Generic Programming
– Rinus Plasmeijer, Peter Achten
- 2005
|
|
5
|
Generic Editors for the World Wide Web
– Rinus Plasmeijer, Peter Achten
|
|
10
|
A Retrospective on Region-Based Memory Management
– Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg
- 2004
|
|
15
|
iTasks: executable specifications of interactive work flow systems for the web
– Rinus Plasmeijer, Peter Achten, Pieter Koopman
- 2007
|
|
40
|
Combining Region Inference and Garbage Collection
– Niels Hallenberg, Martin Elsman, Mads Tofte
- 2002
|
|
5
|
Modeling web interactions and errors
– Shriram Krishnamurthi, Robert Bruce Findler, Paul Graunke, Matthias Felleisen
- 2006
|
|
|
Type-Specialized Serialization with Sharing
– Martin Elsman Mael, Martin Elsman
- 2004
|
|
10
|
An embedded domain-specific language for type-safe server-side web-scripting
– Peter Thiemann
- 2005
|
|
5
|
Advanced Control Flows for Flexible Graphical User Interfaces or, Growing GUIs on Trees or, Bookmarking GUIs
– Or Bookmarking Guis, Paul T. Graunke, Shriram Krishnamurthi
- 2002
|
|
48
|
Links: web programming without tiers
– Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop
- 2007
|
|
13
|
Staging Transformations for Multimodal Web Interaction Management
– Michael Narayan, Christopher Williams, Saverio Perugini, Naren Ramakrishnan
- 2004
|
|
2
|
A Software Framework for Out-of-Turn Interaction in a Multimodal Web Interface
– Dr. Naren Ramakrishnan, Dr. Srinidhi Varadarajan, Dr. Manuel Pérez-quiñones, Atul Shenoy, Atul Shenoy
- 2003
|
|
26
|
Experience with safe manual memory-management in cyclone
– Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim
- 2004
|
|
14
|
Safe and flexible memory management in Cyclone
– Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim
- 2003
|
|
6
|
Safe Manual Memory Management in Cyclone
– Nikhil Swamy, Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim
|
