Difference between revisions of "Template:Functional programming basics"

From blackwiki
Jump to navigation Jump to search
imported>Ancheta Wis
(restore)
imported>Ancheta Wis
(+1)
 
(One intermediate revision by the same user not shown)
Line 2: Line 2:
 
|name = Functional programming basics
 
|name = Functional programming basics
 
|title = [[Functional programming ]]
 
|title = [[Functional programming ]]
<!--
+
 
*[[Complete partial order Cont]]
 
*[[Hindley–Milner t s]]
 
*[[Abstract mach Info]]
 
-->
 
*[[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]]
 
 
*[[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 evaluation]]
 
 
*[[Expression (computer science)]]
 
*[[Expression (computer science)]]
 
*[[Expression (mathematics)]]
 
*[[Expression (mathematics)]]
Line 52: Line 38:
 
*[[Kan extension]]
 
*[[Kan extension]]
 
*[[Lambda calculus definition]]
 
*[[Lambda calculus definition]]
 +
*[[Lambda lifting]]
 
*[[Miranda (programming language)]]
 
*[[Miranda (programming language)]]
 
*[[Monad (functional programming)]]
 
*[[Monad (functional programming)]]
Line 93: Line 80:
 
[[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]]
 +
-->

Latest revision as of 12:11, 28 March 2019

50px Template documentation

See also