Monads Need Not Be Endofunctors Held as Part of the Joint European Conferences on Theory and Practice of Software, Foundations of Software Science and Computational Structures, 13th International Conference Proceedings. 297?311. https, pp.978-981, 2010. ,
Cogent: Verifying High-Assurance File System Implementations, International Conference on Architectural Support for Programming Languages and Operating Systems, pp.175-188, 2016. ,
Logic Programming with Focusing Proofs in Linear Logic, Journal of Logic and Computation, vol.2, issue.3, pp.3-297, 1992. ,
DOI : 10.1093/logcom/2.3.297
The Syntax and Semantics of Quantitative Type Theory Under submission, Proceedings of the ACM on Programming Languages, vol.2, issue.5, p.28, 2017. ,
Uniqueness Typing for Functional Languages with Graph Rewriting Semantics, Mathematical Structures in Computer Science, vol.6, issue.6, pp.579-612, 1996. ,
Linear Haskell: practical linearity in a higher-order polymorphic language. ArXiv e-prints, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01673536
Composable Efficient Array Computations Using Linear Types, 2015. ,
Idris, a general-purpose dependently typed programming language: Design and implementation, Journal of Functional Programming, vol.36, issue.05, pp.552-593, 2013. ,
DOI : 10.1017/S0956796803004829
TYPE-DRIVEN DEVELOPMENT OF CONCURRENT COMMUNICATING SYSTEMS, Computer Science, vol.18, issue.3, 1413. ,
DOI : 10.7494/csci.2017.18.3.1413
A Core Quantitative Coeffect Calculus, Proceedings of the 23rd European Symposium on Programming Languages and Systems, pp.978-981, 2014. ,
DOI : 10.1007/978-3-642-54833-8_19
Haskell SpriteKit ? Transforming an Imperative Object-oriented API into a Purely Functional One Elm: Concurrent FRP for functional guis, 2017. ,
Polymorphism, Subtyping, and Type Inference in MLsub, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017. ,
DOI : 10.1145/3093333.3009882
Levity polymorphism, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, 2017. ,
Bounded Linear Types in a Resource Semiring Held as Part of the European Joint Conferences on Theory and Practice of Software, Programming Languages and Systems -23rd European Symposium on Programming, pp.978-981, 2014. ,
Linear logic, Theoretical Computer Science, vol.50, issue.1, pp.1-101, 1987. ,
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966
A proof-theoretic assessment of runtime type errors, 1993. ,
Lightweight Monadic Regions, Proceedings of the First ACM SIGPLAN Symposium on Haskell, 2008. ,
DOI : 10.1145/1543134.1411288
A natural semantics for lazy evaluation, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '93, 1993. ,
DOI : 10.1145/158511.158618
URL : http://turing.wins.uva.nl/~yde/teaching/svp/launchbury.ps
State in Haskell, LISP and Symbolic Computation, vol.2, issue.4, 1995. ,
DOI : 10.1007/3-540-13346-1_15
Polarized data parallel data flow, Proceedings of the 5th International Workshop on Functional High-Performance Computing, FHPC 2016, pp.52-57, 2016. ,
DOI : 10.1145/2636228.2636231
The Rust Language, Ada Lett, vol.34, issue.103, 2014. ,
Lightweight linear types in system f??, Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation, TLDI '10, pp.77-88, 2010. ,
DOI : 10.1145/1708016.1708027
2016. I Got Plenty o' Nuttin', pp.978-981 ,
The best of both worlds: linear functional programming without compromise, Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, 2016. ,
The Criterion benchmarking library. http://github.com/bos/criterion Tomas Petricek, Dominic Orchard, and Alan Mycroft Coeffects: Unified Static Analysis of Context-Dependence, pp.978-981, 2013. ,
Type Inference in the Presence of Subtyping: from Theory to Practice, 1998. ,
URL : https://hal.archives-ouvertes.fr/inria-00073205
Modular, Higher-order Cardinality Analysis in Theory and Practice. SIGPLAN Not, 2014. ,
DOI : 10.1145/2535838.2535861
Mechanisms for compile-time enforcement of security, Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pp.276-284, 1983. ,
System F with type equality coercions, Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation , TLDI '07, 2007. ,
DOI : 10.1145/1190315.1190324
URL : http://www.cse.unsw.edu.au/~chak/papers/fc-tr.pdf
Practical affine types, POPL. ACM, pp.447-458, 2011. ,
Compiling Tree Transforms to Operate on Packed Representations, 31st European Conference on Object-Oriented Programming (ECOOP 2017) (Leibniz International Proceedings in Informatics (LIPIcs)), Peter Müller Schloss Dagstuhl?Leibniz-Zentrum fuer Informatik, pp.1-26, 2017. ,
Linear types can change the world, 1990. ,
A specification for dependent types in Haskell, Proc. ACM Program. Lang. 1, ICFP, Article 31, p.3110275, 1145. ,
DOI : 10.1145/2103786.2103795
Safe Programming with Pointers Through Stateful Views, 2005. ,
DOI : 10.1007/978-3-540-30557-6_8
URL : http://www.church-project.org/reports/electronic/./Zhu+Xi:PADL-2005.pdf.gz