Adding apples and oranges

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2257, Issue , 2002, Pages 173-191

  Erwig, Martin ^a   Burnett, Margaret ^a  

^a Oregon State University   (United States)

Author keywords

End User Programming; First Order Functional Language; Spreadsheet; Type Checking; Unit

Indexed keywords

FUNCTIONAL PROGRAMMING;

ABSTRACT CONCEPT; END USER PROGRAMMING; FINE GRAINED; FIRST-ORDER FUNCTIONAL LANGUAGES; TYPE SYSTEMS; TYPECHECKING; UNIT; UNIT SYSTEMS;

SPREADSHEETS;

EID: 84891974042     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45587-6_12     Document Type: Conference Paper

References (17)

1. N. Belkin. Helping People Find What They Don’t Know. Communications of the ACM, 41(8):58-61, 2000.
2. B. Boehm and V. Basili. Gaining Intellectual Control of Software Development. Computer, 33(5):27-33, 2000.
3. B. Boehm and V. Basili. Software Defect Reduction Top 10 List. Computer, 34(1):135-137, 2001.
4. B. W. Boehm, C. Abts, A. W. Brown, S. Chulani, K. C. Bradford, E. Horowitz, R. Madachy, D. J. Reifer, and B. Steece, editors. Software Cost Estimation with COCOMO II. Prentice-Hall International, Upper Saddle River, NJ, 2000.
5. M. M. Burnett, A. Agrawal, and P. van Zee. Exception Handling in the Spreadsheet Paradigm. IEEE Transactions on Software Engineering, 26(10):923-942, 2000.
6. M. M. Burnett, J. Atwood, R. Djang, H. Gottfried, J. Reichwein, and S. Yang. Forms/3: A First-Order Visual Language to Explore the Boundaries of the Spreadsheet Paradigm. Journal of Functional Programming, 11(2):155-206, 2001.
7. L. Cardelli and P. Wegner. On Understanding Types, Data Abstraction, and Polymorphism. Computing Surveys, 17(4):471-522, 1985.
8. W. de Hoon, Rutten L., and M. van Eekelen. Implementing a Functional Spreadsheet in CLEAN. Journal of Functional Programming, 5(3):383-414, 1995.
9. A. Kennedy. Dimension Types. In 5th European Symp. on Programming, LNCS 788, pages 348-362, 1994. 174
10. A. Kennedy. Relational Parametricity and Units of Measure. In 24th ACM Symp. on Principles of Programming Languages, pages 442-455, 1997.
11. B. Myers, S. Hudson, and R. Pausch. Past, Present, and Future of User Interface Software Tools. ACM Transactions on Computer-Human Interaction, 7(1):3-28, 2000.
12. B. Myers, D. Smith, and B. Horn. Report of the ‘End-User Programming’ Working Group. In B. Myers, editor, Languages for Developing User Interfaces, pages 343-366. A. K. Peters, Ltd., Wellesley, MA, 1992.
13. R. Panko. Finding Spreadsheet Errors: Most Spreadsheet Models Have Design Flaws that May Lead to Long-Term Miscalculation. Information Week, (May 29):100, 1995.
14. R. Panko. What We Know about Spreadsheet Errors. Journal of End User Computing, (Spring), 1998.
15. B. C. Pierce. Intersection Types and Bounded Polymorphism. Mathematical Structures in Computer Science, 7(2):129-193, 1997.
16. T. Teo and M. Tan. Quantitative and Qualitative Errors in Spreadsheet Development. In 30th Hawaii Int. Conf. on System Sciences, pages 25-38, 1997.
17. M. Wand and P. O’Keefe. Automatic Dimensional Inference. In J.-L. Lassez and G. Plotkin, editors, Computational Logic: Essays in Honor of Alan Robinson, pages 479-483. MIT Press, Cambridge, MA, 1991.