F# And Silverlight
What's all the data about? - Linking and Profiling of Linked Datasets
Web Science Synergies: Exploring Web Knowledge through the Semantic Web
Scala on-android
NET Programming Language Research @ MSR Cambridge Nick Benton Microsoft Research Cambridge
X10 Tutorial © 2007 IBM Corporation IBM Research 1 X10 Tutorial Vijay Saraswat (based on tutorial co-authored with Vivek Sarkar, Christoph
Telecooperation/RBG Technische Universität Darmstadt Copyrighted material; for TUD student use only Introduction to Computer Science I Topic 16: Static
Type inference in type-based verification Dimitrios Vytiniotis, Microsoft Research [email protected] May 2010
Vagif Abilov Playing functional Conway’s game of life
Type-based termination analysis with disjunctive invariants Dimitrios Vytiniotis, MSR Cambridge with Byron Cook (MSR Cambridge) and Ranjit Jhala (UCSD)
François Fages Les Houches, avril 2007 Formal Verification of Dynamical Models and Application to Cell Cycle Control François Fages, Sylvain Soliman Constraint
Unit Testing with Foq
