Mercurial > hg > Papers > 2020 > ryokka-master

view paper/cbc_agda.tex @ 0:41a936510fd0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initialize
author ryokka
date Thu, 02 Jan 2020 21:25:52 +0900
parents
children c7acb9211784
line wrap: on
line source

\chapter{Continuation based C と Agda} 
対応のお話

\section{DataGear の対応}
agda での datagear

\section{CodeGear}
agda での codegear

\section{Meta部分の話}
あんまりでなさそうだけどとりあえず

\section{CbC 上での HoareLogic の実現}
研究の主な部分