Difference between revisions of "Template:Functional programming basics"
Jump to navigation
Jump to search
imported>Ancheta Wis (restore) |
imported>Ancheta Wis (restore) |
||
| Line 2: | Line 2: | ||
|name = Functional programming basics | |name = Functional programming basics | ||
|title = [[Functional programming ]] | |title = [[Functional programming ]] | ||
| − | + | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
*[[Abstract rewriting system]] | *[[Abstract rewriting system]] | ||
*[[Ad hoc polymorphism]] | *[[Ad hoc polymorphism]] | ||
| Line 37: | Line 24: | ||
*[[Effect system]] | *[[Effect system]] | ||
*[[Exponential object]] | *[[Exponential object]] | ||
| − | |||
*[[Expression (computer science)]] | *[[Expression (computer science)]] | ||
*[[Expression (mathematics)]] | *[[Expression (mathematics)]] | ||
| Line 93: | Line 79: | ||
[[Category:Programming language templates|{{PAGENAME}}]] | [[Category:Programming language templates|{{PAGENAME}}]] | ||
}}</noinclude> | }}</noinclude> | ||
| + | <!-- | ||
| + | *[[Complete partial order Cont]] | ||
| + | *[[Hindley–Milner t s]] | ||
| + | *[[Abstract mach Info]] | ||
| + | |||
| + | *[[Expression evaluation]] | ||
| + | |||
| + | |||
| + | *[[Abstract_machine#Information]] | ||
| + | *[[Complete_partial_order#Continuous_functions_and_fixpoints]] | ||
| + | *[[Hindley–Milner type system#Hindley–Milner_type_inference_algorithm]] | ||
| + | *[[Lambda_calculus#The_lambda_calculus]] | ||
| + | *[[Lambda_cube#System_F]] | ||
| + | *[[Lambda_lifting#Let_expressions_and_lambda_calculus]] | ||
| + | *[[Lazy_evaluation#Laziness_and_eagerness] | ||
| + | *[[Linear_logic#Sequent_calculus_presentation]] | ||
| + | *[[Turnstile_(symbol)#Interpretations]]*[[Complete_partial_order#Continuous_functions_and_fixpoints]] | ||
| + | --> | ||
Revision as of 16:08, 27 March 2019
| Editors can experiment in this template's sandbox (create | mirror) and testcases (create) pages. Subpages of this template. |