Printer Friendly
Dictionary, Encyclopedia and Thesaurus - The Free Dictionary
3,914,170,111 visitors served.
forum Join the Word of the Day Mailing List For webmasters
?
Dictionary/
thesaurus
Medical
dictionary
Legal
dictionary
Financial
dictionary
Acronyms
 
Idioms
Encyclopedia
Wikipedia
encyclopedia
?

Ponder
(redirected from ponderer)

   Also found in: Dictionary/thesaurus, Legal, Wikipedia 0.01 sec.
Ponder - A non-strict polymorphic, functional language by Jon Fairbairn <jf@cl.cam.ac.uk>.

Ponder's type system is unusual. It is more powerful than the Hindley-Milner type system used by ML and Miranda and extended by Haskell. Ponder adds extra recursive 'mu' types to those of Girard's System F, allowing more general recursion. Surprisingly, the type system and type inference algorithm are still not completely understood.

["Ponder and its Type System", J. Fairbairn, TR 31, Cambridge U Computer Lab, Nov 1982].

[J. Fairbairn, "Design and Implementation of a Simple Typed Language based on the Lambda-Calculus", Technical Report No. 75, Computer Laboratory, University of Cambridge, May 1985].

[J. Fairbairn, "A New Type-Checker for a Functional Language", Technical Report No. 53, Computer Laboratory, University of Cambridge, 1984].

[J. Fairbairn, "Some Types with Inclusion Properties in \forall, \rightarrow, \mu", Technical Report No. 171, Computer Laboratory, University of Cambridge, Jun 1989].

[Valeria C. V. de Paiva, "Subtyping in Ponder (Preliminary Report)", Technical Report No. 203, Computer Laboratory, University of Cambridge, Aug 1990].


Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.
?Page tools
Printer friendly
Cite / link
Feedback
Mentioned in?  References in periodicals archive?   Encyclopedia browser?   Full browser?
No references found
 
Us wine chappies have a penchant for flowery introspection from time to time, but these past few weeks I've been a lot more concerned with the workings of the cosmos than one would normally expect from such a belly button ponderer (sic) as myself.
6 Dans ces conditions, il serait hasardeux de ponderer les resultats de l'enquete par les proportions effectives des diverses strates de taille reelles des PME en vue de faire des generalisations a l'ensemble de la population, car une telle approche presuppose d'une part, que les entreprises qui ne sont pas dans l'echantillon se comportent indifferemment de celles qui y sont, et d'autre part, qu'on fait abstraction de l'erreur d'echantillonnage.
Pour ponderer ce point, elle souligne egalement le phenomene humain de resistance au changement auquel plusieurs d'entre nous sont confrontes lorsqu'il s'agit de convictions auxquelles nous sommes attaches depuis longtemps.
 
 
 
Encyclopedia
?

Terms of Use | Privacy policy | Feedback | Advertise with Us | Copyright © 2012 Farlex, Inc.
Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.