翻訳と辞書 Words near each other ・ polygoth ・ polylithism ・ polymorphic ・ polymorphic lambda-calculus ・ polymorphism ・ polynomial ・ polynomial-time ・ polynomial-time algorithm ・ polyvinyl chloride ・ pom ・ ponder ・ pong ・ pool ・ pool-i ・ pool-t ・ pool2 ・ pop ・ pop server ・ pop++ ・ pop-1 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク ponder ： FOLDOC 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, rightarrow, mu", Technical Report No. 171, Computer rightarrow, mu", Technical Report No. 171, Computer スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.