Evaluating Environments for Functional Programming (2000)

Cached

Download Links

by Jon Whittle , Andrew Cumming
Venue:International Journal of Human-Computer Studies
Citations:3 - 0 self

Active Bibliography

1318 Monads for functional programming – Philip Wadler - 1995
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1113 An Overview of AspectJ – Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, William G. Griswold - 2001
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1111 Proof-Carrying Code – George C. Necula - 1997
459 Comprehending Monads – Philip Wadler - 1992
454 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
425 A SOUND TYPE SYSTEM FOR SECURE FLOW ANALYSIS – Dennis Volpano, Geoffrey Smith, Cynthia Irvine - 1996