Difference between revisions of "2008/Rezumat1"
Jump to navigation
Jump to search
(No difference)
|
Revision as of 17:32, 26 June 2009
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...