Greg Michaelson  Home/Search
Context Related
| wins.uva.nl/pub/funct...KER_review.ps.Z wins.uva.nl/pub/compu...KER_review.ps.Z wins.uva.nl/pub/compu...KER_review.ps.Z 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: fermivista.math...www.wins.uva.nl (more) From: staff.ecs.soton.ac.uk/~p...myrefs (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: veying information about the solutions of problems and to maintain the consistency of solutions. The second chapter discusses basic types, as they form the foundations of both programming in a strongly typed languages (SML) and problem solving. The SML basic types are discussed in rather a lot of detail. This is hard to avoid, mainly because SML does not support overloading properly. The third chapter gives an in depth discussion of functions over values of basic types. The separation of the... (Update)
Context of citations to this paper: More
...in universities as introductory computing. However, despite the emergence of some excellent beginners texts [Ullman, 1994, Michaelson, 1995] only limited attention has been paid to the design of programming environments that augment the learning process. This paper...
.... programming environments could most benefit novice functional programmers, with particular reference to the language ML [Paulson 91, Michaelson 95, Ullman 94] We claim that students are being held back by the primitiveness of current environments which inadequately relay...
Cited by: More
Improving Polymorphic Type Explanations - Yang (2001) (Correct)
Explaining Polymorphic Types - Jun, Michaelson, Trinder (2002) (Correct)
Evaluating Environments for Functional Programming - Whittle, Cumming (Correct)
Active bibliography (related documents): More All
0.0: Parallel Programming using Functional Languages - Roe (1991) (Correct)
0.0: Isabelle HOL - The Tutorial - Nipkow (1998) (Correct)
0.0: Monads for Functional Programming - Wadler (1995) (Correct)
Similar documents based on text: More All
0.0: How Do People Check Polymorphic Types? - Jun, Michaelson, Trinder (2000) (Correct)
0.0: Symmetry Breaking in the Alien Tiles Puzzle - Gent, Linton, Smith (2000) (Correct)
0.0: An Open Automated Framework for Constraint Solver.. - Monfroy, Ringeissen (1999) (Correct)
Related documents from co-citation: More All
5: Interactive programming environment for ML - Rideau, Thery - 1997
4: The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
3: Towards a Theory of the Comprehension of Computer Programs (context) - Brooks - 1983
BibTeX entry: (Update)
Michaelson, G. (November 1995). Elementary Standard ML. UCL Press. http://citeseer.ist.psu.edu/michaelson95elementary.html More
@misc{ michaelson95elementary,
author = "G. Michaelson",
title = "Elementary Standard ML",
text = "Michaelson, G. (November 1995). Elementary Standard ML. UCL Press.",
year = "1995",
url = "citeseer.ist.psu.edu/michaelson95elementary.html" }
Citations (may not include all citations):362 ML for the working programmer (context) - Paulson - 1991 ACM
333 Introduction to functional programming (context) - Bird, Wadler - 1988 ACM
Documents on the same site (http://fermivista.math.jussieu.fr/http/www.wins.uva.nl.html): More
Forcing in Finite Structures - Zambella (1996) (Correct)
From Box to TEX: An algebraic approach to the construction .. - van den Brand, Visser (1994) (Correct)
Data Flow Analysis for Reverse Engineering - Moonen (1996) (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