No. Title Author Year
1 Modal Embeddings and Calling Paradigms Espírito Santo, José et al. 2019
2 Reordering Derivatives of Trace Closures of Regular Languages Maarand, Hendrik et al. 2019
3 Front Matter, Table of Contents, Preface, External Reviewers Uustalu, Tarmo 2018
4 LIPIcs, Volume 69, TYPES'15, Complete Volume Uustalu, Tarmo 2018
5 Update Monads: Cointerpreting Directed Containers Ahman, Danel et al. 2014
Current Page :
Number of result pages: 1
Number of documents: 5

DROPS-Home | Imprint | Privacy Published by LZI