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