Papers/2015/atton-thesis: revision graph

graph

less more | rev 80: (0) -60 tip

Added tag paper_v2 for changeset 0fc51df4c15c
Wed, 18 Feb 2015 14:54:47 +0900, by Yasutaka Higa
paper version 2 paper_v2
Wed, 18 Feb 2015 14:54:37 +0900, by Yasutaka Higa
Add original number count
Wed, 18 Feb 2015 12:26:17 +0900, by Yasutaka Higa
Mini fixes
Wed, 18 Feb 2015 11:10:19 +0900, by Yasutaka Higa
Fix
Tue, 17 Feb 2015 17:48:30 +0900, by Yasutaka Higa
Mini fixes
Tue, 17 Feb 2015 17:41:32 +0900, by Yasutaka Higa
Added tag prepaper_submit for changeset f090afc484e2
Tue, 17 Feb 2015 16:56:18 +0900, by Yasutaka Higa
Update prepaper prepaper_submit
Tue, 17 Feb 2015 16:50:11 +0900, by Yasutaka Higa
fix
Tue, 17 Feb 2015 16:40:06 +0900, by Shinji KONO
Mini fixes
Tue, 17 Feb 2015 16:11:40 +0900, by Yasutaka Higa
Update preprint
Tue, 17 Feb 2015 15:33:22 +0900, by Yasutaka Higa
Update preprint
Tue, 17 Feb 2015 14:50:32 +0900, by Yasutaka Higa
Mini fixes
Tue, 17 Feb 2015 14:32:40 +0900, by Yasutaka Higa
Added tag prepaper_v1 for changeset f15155ec9bd9
Tue, 17 Feb 2015 12:28:48 +0900, by Yasutaka Higa
Add generated prepaper PDF prepaper_v1
Tue, 17 Feb 2015 12:28:35 +0900, by Yasutaka Higa
Add agda wiki into bibliography
Tue, 17 Feb 2015 12:28:08 +0900, by Yasutaka Higa
Adjust prepaper
Tue, 17 Feb 2015 12:23:20 +0900, by Yasutaka Higa
Writing prepaper...
Tue, 17 Feb 2015 12:08:10 +0900, by Yasutaka Higa
Add abstract in English to prepaper
Tue, 17 Feb 2015 10:09:22 +0900, by Yasutaka Higa
Add template of prepaper
Mon, 16 Feb 2015 17:16:20 +0900, by Yasutaka Higa
Move papers into directory
Mon, 16 Feb 2015 17:09:53 +0900, by Yasutaka Higa
Added tag paper_v1 for changeset c208d759b038
Mon, 16 Feb 2015 16:29:31 +0900, by Yasutaka Higa
Add generated pdf paper_v1
Mon, 16 Feb 2015 16:26:01 +0900, by Yasutaka Higa
Fixes
Mon, 16 Feb 2015 16:24:42 +0900, by Yasutaka Higa
Fix layouts
Mon, 16 Feb 2015 15:05:11 +0900, by Yasutaka Higa
Add proof DeltaM
Mon, 16 Feb 2015 13:47:50 +0900, by Yasutaka Higa
Add thebibliography
Mon, 16 Feb 2015 12:40:53 +0900, by Yasutaka Higa
Add original sources
Sun, 15 Feb 2015 22:38:43 +0900, by Yasutaka Higa
Add thanks
Sun, 15 Feb 2015 21:56:19 +0900, by Yasutaka Higa
Add Future work
Sun, 15 Feb 2015 21:46:38 +0900, by Yasutaka Higa
Add DeltaM example
Sun, 15 Feb 2015 17:56:51 +0900, by Yasutaka Higa
Add description for DeltaM definition
Sun, 15 Feb 2015 14:07:07 +0900, by Yasutaka Higa
Wrote description monad-laws on delta
Sun, 15 Feb 2015 12:35:58 +0900, by Yasutaka Higa
Fix appendix
Sun, 15 Feb 2015 12:16:55 +0900, by Yasutaka Higa
Move proofs to appendix
Sun, 15 Feb 2015 11:17:59 +0900, by Yasutaka Higa
Writing description proofs of monad-laws for delta
Sun, 15 Feb 2015 10:33:47 +0900, by Yasutaka Higa
Fix source
Fri, 13 Feb 2015 18:10:07 +0900, by Yasutaka Higa
Add defintion monad-laws in agda
Fri, 13 Feb 2015 17:51:57 +0900, by Yasutaka Higa
Add proofs of functor-laws on delta
Fri, 13 Feb 2015 17:13:23 +0900, by Yasutaka Higa
Add delta definition in agda
Fri, 13 Feb 2015 11:48:40 +0900, by Yasutaka Higa
Add description functor record
Fri, 13 Feb 2015 11:31:46 +0900, by Yasutaka Higa
Add record of functor in agda
Thu, 12 Feb 2015 18:08:01 +0900, by Yasutaka Higa
Remove jlisting
Thu, 12 Feb 2015 17:49:35 +0900, by Yasutaka Higa
Add command for escape agda source
Thu, 12 Feb 2015 17:46:01 +0900, by Yasutaka Higa
Add escape script
Thu, 12 Feb 2015 17:44:18 +0900, by Yasutaka Higa
Update todo list
Thu, 12 Feb 2015 15:22:21 +0900, by Yasutaka Higa
Adjust monad class definition
Thu, 12 Feb 2015 15:08:48 +0900, by Yasutaka Higa
Split chapter to description monad. category/functional programming
Thu, 12 Feb 2015 14:51:39 +0900, by Yasutaka Higa
Update description of definition delta monad in haskell
Thu, 12 Feb 2015 14:43:25 +0900, by Yasutaka Higa
Add examples of meta computation for program modification
Thu, 12 Feb 2015 14:34:35 +0900, by Yasutaka Higa
Update description and delta definition
Thu, 12 Feb 2015 12:39:57 +0900, by Yasutaka Higa
Add todo list
Thu, 12 Feb 2015 11:28:50 +0900, by Yasutaka Higa
Add agda-resoning
Wed, 11 Feb 2015 13:12:38 +0900, by Yasutaka Higa
Fix function name
Wed, 11 Feb 2015 12:37:46 +0900, by Yasutaka Higa
Temporary save
Tue, 10 Feb 2015 15:30:01 +0900, by Yasutaka Higa
Add description prove method in agda
Tue, 10 Feb 2015 12:48:02 +0900, by Yasutaka Higa
Add curry-howad isomorphism
Tue, 10 Feb 2015 11:38:36 +0900, by Yasutaka Higa
Add description for natural deduction
Mon, 09 Feb 2015 22:13:18 +0900, by Yasutaka Higa
Add monad in Haskell
Mon, 09 Feb 2015 11:17:00 +0900, by Yasutaka Higa
Add natural transformation in program
Mon, 09 Feb 2015 09:47:09 +0900, by Yasutaka Higa

less more | rev 80: (0) -60 tip

Mercurial > hg > Papers > 2015 > atton-thesis

graph