Division of Informatics

Forrest Hill & 80 South Bridge

| ||

## Discussion Paper | ||

DP176 | 1996 Discussion Paper | Whittle,JN |
---|---|---|

A Deductive Synthesis Editor for Producing Correct Functional Programs | ||

## MSc Thesis | ||

MT9594 | 1995 MSc Thesis | Whittle,JN |

Analogy in Clam | ||

## Paper in Conference Proceedings | ||

PP1204 | 1997 Paper in Conference Proceedings | Whittle,JN; Bundy,A; Lowe,H |

Supporting Programming by Analogy in the Learning of Functional Programming Languages | ||

PP1205 | 1997 Paper in Conference Proceedings | Whittle,JN; Bundy,A; Lowe,H |

An Editor for helping Novices to Learn Standard {ML} | ||

PP990 | 1996 Paper in Conference Proceedings | Mellis,E; Whittle,JN |

Internal Analogy in Theorem Proving | ||

## Research Paper | ||

RP938 | 1999 Research Paper | Whittle,JN; Cumming,A |

Evaluating Environments for Functional Programming | ||

RP939 | 1999 Research Paper | Whittle,JN; Bundy,A; Boulton,R; Lowe,H |

An ML Editor Based on Proofs-as-Programs | ||

RP858 | 1997 Research Paper | Whittle,JN; Bundy,A; Lowe,H |

An Editor for Helping Novices to Learn Standard Ml | ||

RP803 | 1996 Research Paper | Melis,E; Whittle,JN |

Internal Analogy in Theorem Proving | ||

RP840 | 1996 Research Paper | Melis,E; Whittle,JN |

Analogy as a Control Strategy in Theorem Proving | ||

RP841 | 1996 Research Paper | Melis,E; Whittle,JN |

Analogy in Inductive Theorem Proving | ||

## Working Paper | ||

WP262 | 1997 Working Paper | Whittle,JN |

A Survey of Analogical Approaches to Programming |