VDict - Definition of polymorphic recursion

search result for polymorphic recursion in Computing (FOLDOC) dictionary

tail recursion optimisation tail recursion recursion Poly SML#mutual recursion PPL conversion to iteration Xfun polymorphic lambda-calculus Ponder tail recursion modulo cons polymorphism IFX mutually recursive TRO recurse KFX recursive Trafola-H recursion theory polymorphic OLGA General Recursion Theorem Crystal Pebble System F Ten15 TALE Magma2 Machiavelli polylithism PPLambda LAURE structural recursion FX-87 Information Processing Language Fortran 90 SNOBOL4 reuse Sticks&Stones Id Nouveau last call optimisation functor typed lambda-calculus iteration CPL Alex termination analysis tupling VAL 6.001 recursive type infinite loop method Yale Haskell Hope Intersil 6100 LOOPN ML Tree Transformation Language SISAL list comprehension Isabelle Categorical Abstract Machine Language Persistent Functional Language Miranda Towers of Hanoi Objective CAML Standard ML Backus-Naur Form Erlang Haskell University of Edinburgh Stephen Kleene IBM 1620