489 followers
RT @jjcarett2: @andrasKovacs6 @brendanzab I'm in favour of that stance. The most interesting work wrt staging & dependent types that I know…
RT @jjcarett2: @andrasKovacs6 @brendanzab I'm in favour of that stance. The most interesting work wrt staging & dependent types that I know…
@andrasKovacs6 @brendanzab I'm in favour of that stance. The most interesting work wrt staging & dependent types that I know is Igarashi's https://t.co/TLLBiZnkiD (also on arxiv).
特定分野に特化せずに帰納証明の書き方を推薦するために、LiFtErというドメイン固有言語を使って帰納法証明の書き方のコツを記述しました(https://t.co/d7zaaYQ7S0)。
https://t.co/CkrAoXtzBd APLAS 2019本体の予稿集は https://t.co/Nlkj9CwqLD