Bruce J. McAdam August 23, 1996  Home/Search
Context
Related
| dcs.ed.ac.uk/~bjm/BigType...non_tech.ps dcs.ed.ac.uk/home/bjm/Big...non_tech.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dcs.ed.ac.uk/~bjm/BigTypes/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This summer project involved implementing a type-checker and considering a method for gathering and presenting extra type information to the user of a programming language. Work then progressed to modification of a real compiler to show that the ideas are of real practical use. 1 Introduction The aim of this summer project was to implement a type-checker and to consider a method for gathering and presenting extra type information to the user of a programming language. Work then progressed to... (Update)
Active bibliography (related documents): More All
0.7: Adding BigTypes to ML - Bruce Mcadam (Correct)
0.3: Repairing Type Errors in Functional Programs - McAdam (2001) (Correct)
0.3: Debugging Type Errors - Bernstein, Stark (1995) (Correct)
Similar documents based on text: More All
0.1: Typechecking Z - Toyn, Valentine, Stepney, King (2000) (Correct)
0.1: On Implicit Arguments - Hagiya, Toda (1995) (Correct)
0.1: Typechecking the Charity Term Logic - Peter Vesely (1997) (Correct)
BibTeX entry: (Update)
@misc{ mcadam-improving,
author = "Bruce Mcadam",
title = "Improving Type-Checkers",
url = "citeseer.ist.psu.edu/150711.html" }
Citations (may not include all citations):384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990 ACM
343 Principal type-schemes for functional programs (context) - Damas, Milner - 1982 DBLP
163 Commentary on Standard ML (context) - Milner, Tofte - 1991
30 Science of Computer Programming (context) - Duggan, Bent et al. - 1996
3 Nick Rothwell (context) - Birkedal - 1993
3 Designing for proof (context) - Gilmore
1 Report produced for facualty scholarship (context) - McAdam, to et al. - 1996
1 lectures on standard ml (context) - Tofte - 1989
Documents on the same site (http://www.dcs.ed.ac.uk/~bjm/BigTypes/):
Adding BigTypes to ML - Bruce Mcadam (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC