Skip to main content


eCommons@Cornell

eCommons@Cornell >

Browsing by Author Teitelbaum, Tim

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 5 to 10 of 10
< previous 
PreviewIssue DateTitleAuthor(s)
Sep-1993Deriving Incremental ProgramsLiu, Yanhong A.; Teitelbaum, Tim
1985Engineering: Cornell Quarterly, Vol.20, No.2 (Autumn 1985): Twenty Years of Computer Science at CornellGries, David; Teitelbaum, Tim; Reps, Thomas; Schneider, Fred B.; Babaoglu, Ozalp; Birman, Kenneth P.; Toueg, Sam; Krafft, Dean B.; Solworth, Jon A.; Duke, Diane; Fish, Michele
Jun-1976A Formal Syntax for PL/CSTeitelbaum, Tim
Mar-1995Incremental Computation for Transformational Software DevelopmentLiu, Yanhong A.; Teitelbaum, Tim
May-1990Incremental Reduction in the Lambda CalculusField, John H.; Teitelbaum, Tim
Sep-1994Systematic Derivation of Incremental ProgramsLiu, Yanhong A.; Teitelbaum, Tim
Showing results 5 to 10 of 10
< previous 

 

© 2014 Cornell University Library Contact Us