Showing 1 - 1 results of 1 for search '"International Conference on Functional Programming"', זמן שאילתה: 0.33s Refine Results
  1. 1
    The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier

    The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier מאת Chlipala, Adam

    יצא לאור 2014
    קבל טקסט מלא
    קבל טקסט מלא
    Article

כלי חיפוש: