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
5 Predicate synthesis for correcting faulty conjectures: The proof planning paradigm – Raúl Monroy - 2003
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
1 Unparsing Expressions With Prefix and Postfix Operators – Norman Ramsey - 1998
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
7 First-class Synchronous Operations – John H. Reppy - 1995
25 Inductive synthesis of equational programs – Nachum Dershowitz, Uday S. Reddy - 1990
69 Types for Modules – Claudio V. Russo - 1998
1 Machine Assisted Reasoning About Standard ML Using HOL – Donald Syme - 1992
7 Operational Semantics of Process-oriented Simulation Languages. Part II: µDemos – Graham Birtwistle, Chris Tofts - 1994
3 Efficient monadic-style backtracking – Ralf Hinze - 1996
8 Drawing Trees – Andrew Kennedy, Andrew J. Kennedy