Certified Programs and Proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings /

Lignende værker

• Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings /
  af: Chris Hawblitzel, Dale Miller
  Udgivet: (2012, c2012)
• Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings /
  af: Georges Gonthier, Michael Norrish
  Udgivet: (2013, c2013)
• Programming Languages and Systems : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings /
  af: Hongseok Yang
  Udgivet: (2011, c2011)
• Programming Languages and Systems : 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings /
  af: Zhong Shao
  Udgivet: (2007, c2007)
• Adapting Proofs-as-Programs : The Curry--Howard Protocol /
  af: Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley
  Udgivet: (2005, c2005)