There were 8 matches for this search.
"Planetary Robotic Vision Scout (ProViScout)", D. Long, European Union, €109000, Apr 2010 until Sep 2012.
"Categorical Foundations of Indexed Programming", P. Johann, EPSRC, £281879, Jan 2010 until Dec 2012.
"Structural comparison of labelled graph data", R. Connor and F. Simeoni, EPSRC, £88265, Oct 2009 until Sep 2012.
"Reusability and dependent types", N. Ghani, EPSRC, £151124, Sep 2009 until Feb 2013.
"Haskell Types with Numeric Constraints", C. McBride, Microsoft, £69000, Aug 2009 until Dec 2012.
"Categorical foundations for indexed programming", P. Johann and N. Ghani, EPSRC, £290247, Jul 2009 until Jun 2012.
"Theory and applications of induction-recursion", N. Ghani, EPSRC, £318304, Mar 2009 until Aug 2012.
"Automated Modelling and Reformulation in Planning", M. Fox, D. Long and T. Illes, EPSRC, £335650, Dec 2008 until Dec 2012.