Browsing by Authority a0a44b6a-83a1-42da-a24e-30ff170b1f57

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 1 of 1
  • OER000001014-1.pdf.jpg
  • Book


  • Authors : Caires, Luís (2019)

  • Program Verification Time Credits and Time Receipts in Iris . Meta-FI: Proof Automation with SMT, Tactics, and Metaprograms. Semi-automated Reasoning About Non-determinism in C Expressions. Language Design Codata in Action. Composing Bidirectional Programs Monadically. Program Semantics, Extended call-by-push-value: Reasoning About Effectful Programs and Evaluation Order. Types Handling Polymorphic Algebraic Effects. Security and Incremental Computation Robustly Safe Compilation. Concurrency ...