Sortiert nach
Journal of functional programming, 2017-01, Vol.27, p.1-27, Article e9
2017
Link zum Volltext
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013, p.530-539
2013
- Link zum Volltext
Journal of functional programming, 2018-03, Vol.28, Article e9
2018
Link zum Volltext
Advances in Cryptology – EUROCRYPT 2020, p.311-341
Link zum Volltext
Journal of functional programming, 2014-05, Vol.24 (2-3), p.316-383
2014
Link zum Volltext
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles, 2009, p.29-44
2009
Link zum Volltext
SIGPLAN notices, 2010-09, Vol.45 (9), p.3-14
2010
Link zum Volltext
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, 2013, p.13-24
2013
Link zum Volltext
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017, p.586-601
2017
Link zum Volltext
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016, p.298-310
2016
Link zum Volltext
SIGPLAN notices, 2013-01, Vol.48 (1), p.371-384
2013
Link zum Volltext
SIGPLAN notices, 2012-09, Vol.47 (9), p.103-114
2012
Link zum Volltext
The 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, 2020, p.85-96
2020
Link zum Volltext
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019, p.157-173
2019
Link zum Volltext
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2013, p.371-384
2013
Link zum Volltext
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming, 2012, p.103-114
2012
Link zum Volltext
Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development, 2017, p.2-15
2017
Link zum Volltext
Functional and Logic Programming, 2016, Vol.9613, p.12-28
2016
Link zum Volltext
Proceedings of the Fifth Workshop on Programming Languages and Operating Systems, 2009, p.1-5
2009
Link zum Volltext
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, 2010, p.3-14
2010
Link zum Volltext
Operating systems review, 2010-01, Vol.43 (4), p.35-39
2010
Link zum Volltext
Proceedings of the 2018 4th Workshop on Programming Models for SIMD/Vector Processing, 2018, p.1-8
2018
Link zum Volltext
Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, 2014, p.15-24
2014
Link zum Volltext
Operating systems review, 2009, Vol.43 (4), p.35-39
2009
Link zum Volltext
SIGPLAN notices, 2016-12, Vol.51 (9), p.298-310
2016
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Programming Languages
- Dependent Types
- Computer Science, Theory & Methods
- Ornament
- Software
- Applied Sciences
- Category Theory
- Computer Science, Hardware & Architecture
- Computer Science; Control Theory; Systems
- Datatype
- Exact Sciences And Technology
- Full Abstraction
- Interoperability
- Invariants
- Logic
- Mathematics
Kollektion
Zeitschrift / Serie