Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

4

CORR
2010
Springer

favoriteEmaildiscussreport

57views Education» more CORR 2010»

Interactive Realizers and Monads

13 years 5 months ago

Interactive Realizers and Monads

Download www.di.unito.it

bla bla bla Key words:

Stefano Berardi, Ugo de'Liguoro

Real-time Traffic

Bla Key Words | CORR 2010 | Education |

claim paper

Related Content

» Achieving Information Flow Security through Precise Control of Effects

» Continuous Previsions

» A Language Prototyping Tool Based on Semantic Building Blocks

» A computer verified monadic functional implementation of the integral

» Realizability of Concurrent Recursive Programs

» Interactive learning of node selecting tree transducer

» Churchs Problem and a Tour through Automata Theory

» Mobile social software realizing potential managing risks

» Handlers of Algebraic Effects

Post Info
More Details (n/a)

Added	09 Dec 2010
Updated	09 Dec 2010
Type	Journal
Year	2010
Where	CORR
Authors	Stefano Berardi, Ugo de'Liguoro

Comments (0)