• View
• Edit
• History
• Print

Derivation-CarryingCodeUsingDependentTypes

• Derivation Carrying Code using Dependent Types by Mu, Ko & Jansson: Published at MPC'08. http://www.iis.sinica.edu.tw/~scm/2008/derivation-carry-code-using-agda/

Mentioned here:

• http://appserv.cs.chalmers.se/users/ulfn/wiki/agda.php?n=Main.PapersUsingAgda

---

Internal access:

• Library source code
  darcs get agda@pc-scm.iis.sinica.edu.tw:/Users/Shared/AoPA
• Paper source code
  darcs get agda@pc-scm.iis.sinica.edu.tw:/Users/Shared/AoP_Agda