Ponder definition of Ponder in the Free Online Encyclopedia.

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].

Mentioned in	?		References in classic literature	?		Encyclopedia browser	?		Full browser	?
No references found	"I like to ponder on all kinds of problems, though I can't solve 'em," said Captain Jim. Anne's House of Dreams by Montgomery, Lucy Maud View in context In spite of the scrupulous conscientiousness with which Sergey Ivanovitch verified the correctness of the critic's arguments, he did not for a minute stop to ponder over the faults and mistakes which were ridiculed; but unconsciously he began immediately trying to recall every detail of his meeting and conversation with the author of the article. Anna Karenina by Tolstoy, Leo View in context Meanwhile the miser crept out of the bush half-naked and in a piteous plight, and began to ponder how he should take his revenge, and serve his late companion some trick. Fairy Tales by Grimm, Jacob and Wilhelm View in context	Ponce de Leon Springs State Park Ponce de Leon, Juan Ponce de León, Juan Ponce-Denis Ecouchard Lebrun Ponce-Denis Écouchard Lebrun poncelet Poncelet, Jean Victor Poncelet, Jean-Victor Poncha Pass Ponchielli, Amilcare Poncho Ponchon-Savarit method Pond Pond Creek National Wildlife Refuge Pond Fisheries, Institute of Pond Fishery Pond Inlet Pond Island National Wildlife Refuge pond lily pond scum Pond, Peter pondage pondage land ponded roof ponded stream Ponder Pondera County Ponderomotive Action of Light ponderomotive force ponderosa pine Ponderosa State Park Pondicherry ponding pondok Pondoland pondweed ponente Ponerinae Poneva Pong Pong Tuk ponga Pongal Ponge, Francis pongee Pongidae Poniatowski, Jozef Poniatowski, Józef Poniatowski, Józef Anton, Prince Poniatowski, Stanislaus Augustus Ponican, Jan	Pond Skaters Pond Skaters pond sliders pond sliders pond snail pond snails Pond spice Pond swooping Pond tortoise Pond Weed Pond Weed Pond, John Pond, Peter Pond-apple Pond-apple pond-apple tree Pond-lilies Pond-lilies pond-scum parasite pond-skater pond-skater pondage pondage land Pondcypress ponded ponded ponded ponded ponded roof ponded stream Ponder ponder on ponder over ponder reasons for and against Pondera County Pondera County, Montana Pondera County, MT ponderability ponderability ponderable ponderable Ponderal ponderal index Ponderance Ponderano ponderare ponderare Ponderary Ponderate Ponderate Ponderation Ponderation Ponderation Ponderation ponderations ponderations ponderations pondered pondered pondered ponderer

Mentioned in

References in classic literature

Encyclopedia browser

Full browser

No references found

"I like to ponder on all kinds of problems, though I can't solve 'em," said Captain Jim.

Anne's House of Dreams by Montgomery, Lucy Maud View in context

In spite of the scrupulous conscientiousness with which Sergey Ivanovitch verified the correctness of the critic's arguments, he did not for a minute stop to ponder over the faults and mistakes which were ridiculed; but unconsciously he began immediately trying to recall every detail of his meeting and conversation with the author of the article.

Anna Karenina by Tolstoy, Leo View in context

Meanwhile the miser crept out of the bush half-naked and in a piteous plight, and began to ponder how he should take his revenge, and serve his late companion some trick.

Fairy Tales by Grimm, Jacob and Wilhelm View in context

Ponder playV2('en/US/sj/sjskskskdydosyh7');playV2('en/UK/sj/sjskskskdydosyh7')

Ponder