Sortiert nach
Journal of functional programming, 2021-01, Vol.31, Article e30
2021
Link zum Volltext
Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-32
2019
Link zum Volltext
Journal of functional programming, 2021-01, Vol.31, Article e20
2021
Link zum Volltext
Electronic proceedings in theoretical computer science, 2024-07, Vol.405
2024
Link zum Volltext
ACM transactions on mathematical software, 2015-06, Vol.41 (3), p.1-27
2015
Link zum Volltext
Proceedings of ACM on programming languages, 2024-06, Vol.8 (PLDI), p.1609-1632, Article 212
2024
Link zum Volltext
Science of computer programming, 2020-08, Vol.194, p.102440, Article 102440
2020
Link zum Volltext
ECOOP 2007 – Object-Oriented Programming, 2007, p.2-27
2007
Link zum Volltext
Proceedings of the 21st European conference on Object-Oriented Programming, 2007, p.2-27
2007
Link zum Volltext
2021 IEEE Security and Privacy Workshops (SPW), 2021, p.194-206
2021
Link zum Volltext
Proceedings of ACM on programming languages, 2017-09, Vol.1 (ICFP), p.1-28
2017
Link zum Volltext
SIGPLAN notices, 2010-01, Vol.45 (1), p.365-376
2010
Link zum Volltext
Science of computer programming, 2011-05, Vol.76 (5), p.423-465
2011
Link zum Volltext
Proceedings of the 31st Symposium on Implementation and Application of Functional Languages, 2019, p.1-12
2019
Link zum Volltext
ECOOP 2006 - Object-Oriented Programming, 2006, p.304-327
2006
Link zum Volltext
SIGPLAN notices, 2015-08, Vol.50 (6), p.425-435
2015
Link zum Volltext
SIGPLAN notices, 2011-01, Vol.46 (1), p.201-214
2011
Link zum Volltext
Science of computer programming, 2011-04, Vol.76 (4), p.225-226
2011
Link zum Volltext
Proceedings of ACM on programming languages, 2017-10, Vol.1 (OOPSLA), p.1-24
2017
Link zum Volltext
Proceedings of the ninth international conference on Generative programming and component engineering, 2010, p.167-176
2010
Link zum Volltext
SIGPLAN notices, 2011-02, Vol.46 (2), p.167-176
2011
Link zum Volltext
A List of Successes That Can Change the World, 2016, Vol.9600, p.388-410
2016
Link zum Volltext
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015, p.22-34
2015
Link zum Volltext
Proceedings of the 10th ACM Symposium on Dynamic languages, 2015, p.45-56
2015
Link zum Volltext
SIGPLAN notices, 2017-12, Vol.52 (11), p.2-2
2017
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Gradual Typing
- Computer Science, Theory & Methods
- Generic Programming
- Software And Its Engineering -- Software Notations And Tools -- Formal Language Definitions
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Theory Of Computation -- Formal Languages And Automata Theory
- Software
- Semantics
- Software And Its Engineering -- Software Notations And Tools -- Software Libraries And Repositories
- Blame Tracking
- Coercions
- Concepts
- Linear Algebra
- Software And Its Engineering -- Software Notations And Tools -- Compilers
Kollektion
- ACM Digital Library Complete
- IngentaConnect
- SpringerLink Series
- EZB Electronic Journals Library
- IEEE Electronic Library (IEL)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ProQuest Dissertations & Theses A&I
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Cambridge Journals Online (DEFF)
- LWW Total
- Springer journals
- IngentaConnect Journals
- JSTOR
- AIP Journals Complete
- NUS Single-Journal Subscriptions
Zeitschrift / Serie
- Sigplan Notices
- Acm Sigplan Notices
- Proceedings Of Acm On Programming Languages
- Journal Of Functional Programming
- Science Of Computer Programming
- Higher-Order And Symbolic Computation
- Acm Transactions On Mathematical Software
- Computing In Science & Engineering
- Electronic Proceedings In Theoretical Computer Science
- Iccs 2010 - International Conference On Computational Science, Proceedings
Neu hinzugefügt