Forms/3: A First-Order Visual Language to Explore the Boundaries of the Spreadsheet Paradigm

by Margaret Burnett , John Atwood , Rebecca Walpole Djang , Herkimer Gottfried , James Reichwein , Sherry Yang
Citations:110 - 40 self

Active Bibliography

1335 An Overview of AspectJ – Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, William G. Griswold - 2001
505 Comprehending Monads – Philip Wadler - 1992
829 Qualitative process theory – Kenneth D. Forbus - 1982
629 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1228 Proof-Carrying Code – George C. Necula - 1997
755 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1436 Monads for functional programming – Philip Wadler - 1995
604 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
478 Usability Analysis of Visual Programming Environments: a `cognitive dimensions' framework – T. R. G. Green, M. Petre - 1996