Difference between revisions of "2008/Rezumat1"
Jump to navigation
Jump to search
Line 1: | Line 1: | ||
+ | [[Category:Ro]] |
||
⚫ | In ultima decada, evaluatoarele de expresii monadice si monada listelor au atras deopotriva matematicieni din domeniul teoriei categoriilor si din informatica. Pentru cei din urma, principalul domeniu de aplicare este constructia DSL-urilor interpretate monadic. Ca o consecinta a cercetarilor facute introducem un nou tip de evaluator modular de arbori modulari care poate fi construit importand componente intr-un program Haskell. [...] Se rezolva asa si cunoscuta "Expression Problem". |
||
+ | |||
⚫ | In ultima decada, evaluatoarele de expresii monadice si [[monada listelor]] au atras deopotriva matematicieni din domeniul teoriei categoriilor si din informatica. Pentru cei din urma, principalul domeniu de aplicare este constructia DSL-urilor interpretate monadic. Ca o consecinta a cercetarilor facute introducem un nou tip de evaluator modular de arbori modulari care poate fi construit importand componente intr-un program Haskell. [...] Se rezolva asa si cunoscuta "[[Expression Problem]]". |
||
In dezvoltare... |
In dezvoltare... |
Latest revision as of 15:20, 4 June 2010
In ultima decada, evaluatoarele de expresii monadice si monada listelor au atras deopotriva matematicieni din domeniul teoriei categoriilor si din informatica. Pentru cei din urma, principalul domeniu de aplicare este constructia DSL-urilor interpretate monadic. Ca o consecinta a cercetarilor facute introducem un nou tip de evaluator modular de arbori modulari care poate fi construit importand componente intr-un program Haskell. [...] Se rezolva asa si cunoscuta "Expression Problem".
In dezvoltare...