Sciweavers

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

7

FLOPS
2010
Springer

favoriteEmaildiscussreport

246views Automated Reasoning» more FLOPS 2010»

Delimited Control in OCaml, Abstractly and Concretely: System Description

13 years 11 months ago

Delimited Control in OCaml, Abstractly and Concretely: System Description

Download okmij.org

Oleg Kiselyov

Real-time Traffic

FLOPS 2010 | Hardware |

claim paper

Related Content

» Leveraging software architectures to guide and verify the development of sensecomputecontr...

» Generating Heuristics to Control Configuration Processes

» Towards a Semantics of Activity Diagrams with Semantic Variation Points

» SmallScale Classification Schemes A Field Study of Requirements Engineering

Post Info
More Details (n/a)

Added	18 May 2010
Updated	18 May 2010
Type	Conference
Year	2010
Where	FLOPS
Authors	Oleg Kiselyov

Comments (0)