|
eCommons@Cornell >
Browsing by Author Walker, David
Showing results 1 to 6 of 6
| Preview | Issue Date | Title | Author(s) | | Oct-1999 | Alias Types | Smith, Frederick; Walker, David; Morrisett, Greg |
| 8-Mar-2000 | Alias Types for Recursive Data Structures (Extended Version) | Walker, David; Morrisett, Greg |
| 2-Dec-2010 | Frenetic: A High-Level Language for OpenFlow Networks | Foster, Nate; Harrison, Rob; Freedman, Michael J.; Rexford, Jennifer; Walker, David |
| Nov-1997 | From System F to Typed Assembly Language (Extended Version) | Morrisett, Greg; Walker, David; Crary, Karl; Glew, Neal |
| 2-Feb-2000 | Typed Memory Management in a Calculus of Capabilities | Walker, David; Crary, Karl; Morrisett, Greg |
| Apr-1999 | A Type System for Expressive Security Policies | Walker, David |
Showing results 1 to 6 of 6
|
