Ponder


Also found in: Dictionary, Thesaurus, Acronyms, Idioms, Wikipedia.
Related to Ponder: ponder over

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 ?
Over the past 45 years Ponder has advised over 750 healthcare organizations on capital planning, strategic advisory and transactions.
Knowledge Capital Group [KCG] is the management consulting arm of industry-leading healthcare financial advisory firm Ponder and Co.
Ponder said yesterday: "I've booked in at Shelbourne on Saturday and will be on the same flight as Austin and I'm sure we'll travel to the track together."
Ponder's mother Brenda Tiffany, who was instrumental in the inception of this safety grant, was present at a special ceremony held at the KSP Training Academy Sept.
An April 2016 European "Blow Out the Sun" debut EP release tour had Ponder and groove-infused soul backing band the Tomorrow People playing six shows nearly back-to-back: Amsterdam, London, Brussels and other cities across Belgium, as well as Denmark.
Mayes consistently denied any wrongdoing, Ponder said.
Whatever the case, we can ponder the same sentiment Mary had that Christmas: God is with us.
WICHITA -- Earlier this year, Wichita filmmaker Wynn Ponder decided it was time to give progressive Kansans a voice to prove to people all over the country that we are made up of more than just the color of Republican Red.
Nazis"it involved tossing ping-pong balls into beer cups arranged as Stars of David and swastikasJamaica Ponder did what every decent person with an uncorrupted sense of moral duty should do: she composed a short but fiery post on her blog, condemning her idiotic peers.
The board of directors and officers of the Mississippi Biomass & Renewable Energy Council (MBREC) selected Rusty Ponder, Energy Management Coordinator for the Rankin County School District, to receive the Third Annual Sustainable Energy Visionary Leader (VISER) Award in recognition of his efforts to save energy in Rankin County Schools and promote STEM education in Mississippi through the use of renewable energy.
For hours more, my creative mind is in turmoil as I ponder; when I drive, when I stare at the Christmas tree joyfully lighting up our living room, when I lie awake in the small hours of the night in my bed.
I ponder Over the stamp mark & search & wonder!