Ponder

(redirected from ponderer)
Also found in: Dictionary, Thesaurus, Legal, Idioms.
Related to ponderer: descendible, call on, resubmit, scheduled, relaxes

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].
References in periodicals archive ?
Ce qu'il est important de noter, pour nos presentes fins, est que le Senat a ete un element essentiel au pacte menant a la federation canadienne, que les provinces ont accepte la notion de representation par << regions >> en reconnaissance du fait que la population de chaque province devait venir ponderer la distribution des sieges senatoriaux, et que le Quebec s'est vu accorder une place importante au sein de l'appareil legislatif federal, mais pas une place unique (18).
For more call 1560 932 562 Capricorn (Dec 22 - Jan 20) Activities in the heavens indicate you're moving from ponderer to wanderer, and you're ready to make things happen.
Il demeure toutefois problematique de ponderer adequatement l'effet propre des differentes consequences anticipees dans le processus de decision.
L'interet de ces chercheurs pour << l'univers des NER >> les a amenes a ponderer les reponses selon le lieu de residence des repondants pour une vision globale de l'echantillon, plus qu'a comparer entre eux divers espaces.
Elle doit ponderer les influences des groupes d'interets et assurer le respect des differences culturelles, ethniques et linguistiques.
Heureusement que la grande majorite de nos parlementaires y compris les Freres Musulmans sont des moderes capables de ponderer les propos extremistes des radicaux.
A notre avis, il reviendrait au legislateur de modifier la legislation afin de mieux ponderer les interets des cestui que vie avec ceux des parties contractantes.