Posts tagged "tdvcs"

Posts Date Created Categories
A Framework for Resource Dependent EDSLs in a Dependently Typed Language November 16, 2020 idris,dependent-types,border-patrol,tdvcs,ecoop
Building Resource-Dependent EDSLs in a Dependently-Typed Language June 19, 2020 idris,dependent-types,border-patrol,tdvcs,msp101,talk
A Framework for Resource Dependent EDSLs in a Dependently Typed Language May 28, 2020 idris,dependent-types,border-patrol,tdvcs,ecoop
Value-Dependent Session Design in a Dependently-Typed Language. March 7, 2019 idris,dependent-types,session-types,paper,places,tdvcs,border-patrol
TyDe Denied July 2, 2018 idris,tdvcs,border-patrol,paper,tyde,rejection
Type-Driven Development of Communicating Systems using Idris July 25, 2017 idris,effects,sessions,tdvcs
ICFP Rejection March 28, 2017 idris,tdvcs,paper,icfp,rejection
FP Dag 17-Type-Driven Design of Communicating Systems using Idris January 9, 2017 idris,effects,sessions,tdvcs
Off The Beaten Track November 11, 2016 idris,tdvcs,paper,obt,rejection
SPLS-Type-Driven Design of Communicating Systems using Idris November 9, 2016 idris,effects,sessions,tdvcs,spls
Effectful Channel Management October 5, 2016 idris,effects,sessions,tdvcs