*sublabel_EDS*
*license_notice_EDS_guest_loggedout*
*Login*
*custom_text_above_search_result**custom_text_above_search_result_EDS*
*Showing* 1 - 7
*of* 7
*custom_text_below_search_result*
*Refine Results*
*Limiter*
*Expander*
*SubjectEDS*
programming languages
3
algebraic effects
1
asymptotic complexity
1
axioms
1
category theory
1
compilers (computer programs)
1
*more* ...
differential forms
1
differential operators
1
effect handlers
1
encoding
1
equations
1
koka
1
language & languages
1
mathematical category theory
1
mathematical formulas
1
monads
1
pattern matching
1
static code analysis
1
unix
1
*less* ...
*Published in*
*Publisher*
*Language*
*CollectionLibrary*
*SourceEDS*
*adv_search_year*
*Filter*