Results 1-10 of 22
Publication DateTitleAuthor(s)
31-Mar-2009Softly safely spoken: Role playing for Session TypesGiachino, E; Sackman, M; Drossopoulou, S; Eisenbach, S
31-Dec-1993Pi-calculus semantics for the concurrent configuration language DarwinPaterson, R; Eisenbach, S
1-Feb-2009CLASE: Cursor Library for A Structured EditorAllwood, TOR; Eisenbach, S
10-Oct-2009Tickling Java with a FeatherAllwood, T; Eisenbach, S
1-Jan-1994Regis-Darwin specified in the p-CalculusEisenbach, S; Kramer, J; Magee, JN
1-Sep-2009Changing the Marks Based Culture of Learning through Peer Assisted TutorialsAplay, E; Cutler, P; Eisenbach, S; Field, T
31-Dec-1995System structuring: a convergence of theory and practice?Magee, J; Kramer, J; Eisenbach, S
31-Dec-2008A Featherweight Model for Chorded LanguagesPetrounias, A; Drossopoulou, S; Eisenbach, S
30-Sep-2000Java Type Soundness RevisitedDrossopoulou, S; Eisenbach, S; Valkevych, T
30-Sep-2008Errors for the Common Man: Hiding the unintelligable in HaskellSackman, M; Eisenbach, S