Sortiert nach
ACM transactions on programming languages and systems, 2006-05, Vol.28 (3), p.389-428
2006
Link zum Volltext
IEEE transactions on software engineering, 2004-12, Vol.30 (12), p.918-935
2004
- Link zum Volltext
FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science, 2000, p.11-45
2000
Link zum Volltext
Implementation and Application of Functional Languages, p.75-92
Link zum Volltext
Compiler Construction, 2005, p.43-58
2005
Link zum Volltext
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016, p.299-300
2016
Link zum Volltext
SIGPLAN notices, 2006-09, Vol.41 (9), p.201-214
2006
Link zum Volltext
SIGPLAN notices, 2006-01, Vol.41 (1), p.103-114
2006
Link zum Volltext
SIGPLAN notices, 2003-01, Vol.38 (1), p.1-13
2003
Link zum Volltext
Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003, 2003, p.91-96
2003
- Link zum Volltext
2008 ACM/IEEE 30th International Conference on Software Engineering, 2008, Vol.2008 (24), p.171-180
2008
- Link zum Volltext
Journal of the ACM, 2017-10, Vol.64 (5), p.1-55
2017
Link zum Volltext
Multimedia tools and applications, 2022, Vol.81 (9), p.12459-12493
2022
Link zum Volltext
Multimedia tools and applications, 2023-04, Vol.82 (9), p.13341-13368
2023
Link zum Volltext
ACM transactions on graphics, 2009-07, Vol.28 (3), p.1-13
2009
Link zum Volltext
Empirical software engineering : an international journal, 2018-12, Vol.23 (6), p.3187-3220
2018
Link zum Volltext
Software, practice & experience, 2015-02, Vol.45 (2), p.245-287
2015
Link zum Volltext
Frontiers of Computer Science, 2017-08, Vol.11 (4), p.568-584
2017
Link zum Volltext
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types
2008
Link zum Volltext
Frontiers of information technology & electronic engineering, 2023-05, Vol.24 (5), p.759-766
2023
Link zum Volltext
2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE), 2022, p.1393-1405
2022
- Link zum Volltext
Empirical software engineering : an international journal, 2020-11, Vol.25 (6), p.5416-5453
2020
Link zum Volltext
2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2023, p.46-50
2023
- Link zum Volltext
Proceedings of the ACM International Conference on Parallel Architectures and Compilation Techniques, 2020, p.111-123
2020
Link zum Volltext
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, p.29-40
2018
- Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Xml
- Computer Science, Information Systems
- Programming Languages
- Software
- Engineering
- Engineering, Electrical & Electronic
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Algorithms
- Computer Science, Hardware & Architecture
- Polymorphism
- Software Engineering
- Subtyping
- Extensible Markup Language
Kollektion
- ACM Digital Library Complete
- IngentaConnect
- IEL
- EBSCOhost Business Source Ultimate
- SpringerLink Series
- SpringerLink
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Online Library Journals Frontfile Complete
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Wiley Online Library
- Journals@Ovid Complete
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Electronic Journals Library
Zeitschrift / Serie
- Acm Sigmod Record
- Sigmod Record
- Acm Transactions On Programming Languages And Systems
- Journal Of The Acm
- Sigplan Notices
- Acm Transactions On Mathematical Software
- Software, Practice & Experience
- Acm Transactions On Graphics
- Empirical Software Engineering : An International Journal
- Ieee Transactions On Software Engineering