Sortiert nach
Journal of functional programming, 2021, Vol.31, Article e5
2021
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-09, Vol.2 (ICFP), p.1-16
2018
Volltextzugriff (PDF)
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017, p.52-62
2017
Volltextzugriff (PDF)
Runtime Verification, p.330-345
Volltextzugriff (PDF)
Dependable Software Engineering. Theories, Tools, and Applications, p.31-49
Volltextzugriff (PDF)
SIGPLAN notices, 2017-10, Vol.52 (10), p.52-62
2017
Volltextzugriff (PDF)
Journal of the American Society of Nephrology, 2020-10, Vol.31 (10S), p.89-89
2020
Volltextzugriff (PDF)
Scientific annals of computer science, 2007-01, Vol.17, p.1-1
2007
Volltextzugriff (PDF)
SIGCSE bulletin, 2005, Vol.37 (1), p.166-170
2005
Volltextzugriff (PDF)
Proceedings of the 36th SIGCSE technical symposium on Computer science education, 2005, p.166-170
2005
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Coq
- Stepwise Refinement
- Binary Tree
- Computer Science, Theory & Methods
- Containers
- Formal Semantics
- Haskell
- Hybrid Data Structures
- Icfp 2018
- Information Systems -- Information Storage Systems -- Record Storage Systems
- Libraries
- Mathematics Of Computing -- Discrete Mathematics -- Graph Theory -- Trees
- Pedagogy
- Performant Certified Software
- Polymorphism
- Random Binary Tree
Kollektion
Zeitschrift / Serie
- Journal Of Functional Programming
- Journal Of The American Society Of Nephrology
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- Proceedings Of The Thirty-Sixth Sigcse Technical Symposium On Computer Science Education, Sigcse 2005
- Scientific Annals Of Computer Science
- Sigcse Bulletin
- Sigplan Notices
Neu hinzugefügt