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

4 An Editor for Helping Novices to Learn Standard ML – Jon Whittle, Alan Bundy, Helen Lowe - 1997
2 Supporting Programming by Analogy in the Learning of Functional Programming Languages – Jon Whittle, Alan Bundy, Helen Lowe - 1997
3 A Visual Programming Environment for Functional Languages – Joel Kelso - 2002
96 How to Declare an Imperative – Philip Wadler - 1995
An Exploratory Evaluation of CYNTHIA – Jon Whittle - 1998
1 Polymorphic Type Reconstruction Using Type Equations – Venkatesh Choppella - 2003
Improving Functional Programming Environments – Jon Whittle Recom, Jon Whittle - 1999
8 An ML Editor Based on Proofs-as-Programs – Jon Whittle, Alan Bundy, Richard Boulton, Helen Lowe - 1999
48 Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML – David Tarditi - 1996
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
8 First-class Synchronous Operations – John H. Reppy - 1995
1 Unparsing Expressions With Prefix and Postfix Operators – Norman Ramsey - 1998
27 Inductive synthesis of equational programs – Nachum Dershowitz, Uday S. Reddy - 1990
69 Types for Modules – Claudio V. Russo - 1998
Modular and Extensible Types – Lucília Figueiredo, Carlos Camarão - 1999
5 Functional pearls: Drawing trees – Andrew J. Kennedy, Andrew J. Kennedy - 1995
Pattern Systems and Methodologies for Multiparadigm Analysis and Design – Charles D. Knutson - 1998
Signed Date – Richard Douglas Watson, Be Mengsc Dipcompsc
1 A Portable Standard ML Implementation – Martin Elsman, Martin Elsman, I Mini Ml - 1994