History / Abstracts.2018.NbE.STLC

Revisions

Updated Abstracts.2018.NbE.STLC (markdown)

nachivpn committed Nov 3, 2021

51b25c4
Updated Abstracts

bafain committed Mar 3, 2020

25e8515
Link to STLCCC

bafain committed Dec 12, 2018

98efb11
Replace --- with literal em dash

bafain committed Dec 7, 2018

84d88d3
adds link to implementation

nachivpn committed Dec 7, 2018

59eff1d
Abstract for Nachi's talk on NbE

sstucki committed Dec 5, 2018

ccfdfed