Ponder
A non-Strict polymorphic, functional language by Jon Fairbairn . 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, ightarrow, 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]. Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ 2 ] [ = ] [ @ ] [ ad ] [ ag ] [ ai ] [ al ] [ algorithm ] [ am ] [ an ] [ ar ] [ arc ] [ aS ] [ at ] [ b ] [ ba ] [ baSe ] [ bd ] [ bo ] [ br ] [ bridge ] [ bt ] [ by ] [ C ] [ ca ] [ Calc ] [ Ch ] [ ch ] [ ck ] [ cl ] [ co ] [ com ] [ complete ] [ Computer ] [ cu ] [ D ] [ dd ] [ de ] [ du ] [ ec ] [ ed ] [ er ] [ era ] [ eS ] [ et ] [ extend ] [ fi ] [ file ] [ fo ] [ for ] [ fora ] [ Fun ] [ function ] [ functional ] [ functional language ] [ G ] [ ge ] [ gen ] [ gh ] [ gl ] [ gn ] [ gu ] [ h ] [ hm ] [ hn ] [ hoSe ] [ hr ] [ ht ] [ id ] [ ie ] [ il ] [ in ] [ inference ] [ io ] [ ir ] [ iS ] [ it ] [ J ] [ ke ] [ la ] [ language ] [ lc ] [ Lex ] [ li ] [ lu ] [ ly ] [ M ] [ Miranda ] [ ML ] [ mo ] [ mod ] [ module ] [ mp ] [ mu ] [ N ] [ na ] [ nc ] [ ne ] [ nf ] [ ng ] [ ni ] [ no ] [ nu ] [ om ] [ op ] [ pe ] [ ph ] [ ping ] [ pl ] [ polymorphic ] [ port ] [ pr ] [ query ] [ rc ] [ re ] [ recurSion ] [ recurSive ] [ ro ] [ row ] [ S ] [ Se ] [ Si ] [ Sig ] [ Sit ] [ Sk ] [ St ] [ Strict ] [ Su ] [ Sy ] [ SyStem ] [ SyStem F ] [ T ] [ tar ] [ th ] [ to ] [ tr ] [ type ] [ type inference ] [ ua ] [ ug ] [ uk ] [ uS ] [ V ] [ va ] [ ve ] [ win ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (4988 Reads) |
