Differences

This shows you the differences between two versions of the page.

wg1_report_2013 [2013/06/19 16:50]
n.yoshida [5. Logic (linear, design by contract)]
wg1_report_2013 [2013/06/21 10:15] (current)
vasco
Line 2: Line 2:
  
  
-==== 1. Calculi ====+==== 1. Calculus, language, model ====
  
 ==== 2. Typing ==== ==== 2. Typing ====
Line 12: Line 12:
 ==== 5. Logic (linear, design by contract, etc) ==== ==== 5. Logic (linear, design by contract, etc) ====
  
-==== 6. Exceptions and events ====+==== 6. Exceptionsevents ====
  
 ==== 7. Equivalences, expressiveness, embeddings ==== ==== 7. Equivalences, expressiveness, embeddings ====
 
wg1_report_2013.txt · Last modified: 2013/06/21 10:15 by vasco
 
Except where otherwise noted, content on this wiki is licensed under the following license:CC Attribution-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki