Conferences in DBLP
Exploiting Unique Fixed Points. [Citation Graph (, )][DBLP ] Scrap Your Type Applications. [Citation Graph (, )][DBLP ] Programming with Effects in Coq. [Citation Graph (, )][DBLP ] Verifying a Semantic beta-eta-Conversion Test for Martin-Löf Type Theory. [Citation Graph (, )][DBLP ] The Capacity-CTorch Problem. [Citation Graph (, )][DBLP ] Recounting the Rationals: Twice!. [Citation Graph (, )][DBLP ] Zippy Tabulations of Recursive Functions. [Citation Graph (, )][DBLP ] Unfolding Abstract Datatypes. [Citation Graph (, )][DBLP ] Circulations, Fuzzy Relations and Semirings. [Citation Graph (, )][DBLP ] Asynchronous Exceptions as an Effect. [Citation Graph (, )][DBLP ] The Böhm-Jacopini Theorem Is False, Propositionally. [Citation Graph (, )][DBLP ] The Expression Lemma. [Citation Graph (, )][DBLP ] Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening. [Citation Graph (, )][DBLP ] Probabilistic Choice in Refinement Algebra. [Citation Graph (, )][DBLP ] Algebra of Programming Using Dependent Types. [Citation Graph (, )][DBLP ] Safe Modification of Pointer Programs in Refinement Calculus. [Citation Graph (, )][DBLP ] A Hoare Logic for Call-by-Value Functional Programs. [Citation Graph (, )][DBLP ] Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems. [Citation Graph (, )][DBLP ] Modal Semirings Revisited. [Citation Graph (, )][DBLP ] Asymptotic Improvement of Computations over Free Monads. [Citation Graph (, )][DBLP ] Symmetric and Synchronous Communication in Peer-to-Peer Networks. [Citation Graph (, )][DBLP ]