|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
Results
Found 45 publication records. Showing 45 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
66 | Andy C. Downton, A. C. Tams, G. J. Wells, A. C. Holmes, Simon M. Lucas, G. W. Beccaloni, M. J. Scoble, G. S. Robinson |
Constructing Web-Based Legacy Index Card Archives - Architectural Design Issues and Initial Data Acquisition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 6th International Conference on Document Analysis and Recognition (ICDAR 2001), 10-13 September 2001, Seattle, WA, USA, pp. 854-858, 2001, IEEE Computer Society, 0-7695-1263-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
legacy data, typescript, handwriting OCR, XML, database, document analysis, Archive |
54 | Thomas Ball, Peli de Halleux, Michal Moskal |
Static TypeScript: an implementation of a static compiler for the TypeScript language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPLR ![In: Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, MPLR 2019, Athens, Greece, October 21-22, 2019, pp. 105-116, 2019, ACM, 978-1-4503-6977-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
30 | Cliff B. Jones |
Editorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 14(2), pp. 91, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Ming-Ho Yee, Arjun Guha |
Do Machine Learning Models Produce TypeScript Types That Type Check? (Artifact). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Artifacts Ser. ![In: Dagstuhl Artifacts Ser. 9(2), pp. 05:1-05:3, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Brittany Reid, Christoph Treude, Markus Wagner 0007 |
Using the TypeScript compiler to fix erroneous Node.js snippets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.12079, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Ming-Ho Yee, Arjun Guha |
Do Machine Learning Models Produce TypeScript Types that Type Check? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.12163, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Joshua D. Scarsbrook, Mark Utting, Ryan K. L. Ko |
TypeScript's Evolution: An Analysis of Feature Adoption Over Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.09802, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Roland Kuhn 0002, Alan Darmasaputra |
Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.09068, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Jackson Morgan |
Linked Data Objects (LDO): A TypeScript-Enabled RDF Devtool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2023 - 22nd International Semantic Web Conference, Athens, Greece, November 6-10, 2023, Proceedings, Part II, pp. 230-246, 2023, Springer, 978-3-031-47242-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Ming-Ho Yee, Arjun Guha |
Do Machine Learning Models Produce TypeScript Types That Type Check? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 37:1-37:28, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Sol Boucher |
Incremental TypeScript: Future Free Introductory Programming Textbook. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE (2) ![In: Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, SIGCSE 2023, Toronto, ON, Canada, March 15-18, 2023., pp. 1272, 2023, ACM, 978-1-4503-9433-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Sol Boucher |
Incremental TypeScript: Future Free Introductory Programming Textbook. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE (2) ![In: Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, SIGCSE 2023, Toronto, ON, Canada, March 15-18, 2023., pp. 1359, 2023, ACM, 978-1-4503-9433-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Roland Kuhn 0002, Alan Darmasaputra |
Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023, pp. 1475-1478, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Joshua D. Scarsbrook, Mark Utting, Ryan K. L. Ko |
TypeScript's Evolution: An Analysis of Feature Adoption Over Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSR ![In: 20th IEEE/ACM International Conference on Mining Software Repositories, MSR 2023, Melbourne, Australia, May 15-16, 2023, pp. 109-114, 2023, IEEE, 979-8-3503-1184-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Brittany Reid, Christoph Treude, Markus Wagner 0007 |
Using the TypeScript compiler to fix erroneous Node.js snippets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 23rd IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2023, Bogotá, Colombia, October 2-3, 2023, pp. 220-230, 2023, IEEE, 979-8-3503-0506-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Martina Bevilacqua, Lisanna Paladin, Silvio C. E. Tosatto, Damiano Piovesan |
ProSeqViewer: an interactive, responsive and efficient TypeScript library for visualization of sequences and alignments in web applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 38(4), pp. 1129-1130, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Justus Bogner, Manuel Merkel |
To Type or Not to Type? A Systematic Comparison of the Software Quality of JavaScript and TypeScript Applications on GitHub. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.11115, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Kevin Jesse, Premkumar T. Devanbu |
ManyTypes4TypeScript: A Comprehensive TypeScript Dataset for Sequence-Based Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSR ![In: 19th IEEE/ACM International Conference on Mining Software Repositories, MSR 2022, Pittsburgh, PA, USA, May 23-24, 2022, pp. 294-298, 2022, ACM, 978-1-4503-9303-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Justus Bogner, Manuel Merkel |
To Type or Not to Type? A Systematic Comparison of the Software Quality of JavaScript and TypeScript Applications on GitHub. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSR ![In: 19th IEEE/ACM International Conference on Mining Software Repositories, MSR 2022, Pittsburgh, PA, USA, May 23-24, 2022, pp. 658-669, 2022, ACM, 978-1-4503-9303-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Fernando Cristiani, Peter Thiemann 0001 |
Generation of TypeScript Declaration Files from JavaScript Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.08027, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
27 | Anson Miu, Francisco Ferreira 0001, Nobuko Yoshida, Fangyi Zhou 0002 |
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.04622, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
27 | Fernando Cristiani, Peter Thiemann 0001 |
Generation of TypeScript declaration files from JavaScript code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPLR ![In: MPLR '21: 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, Münster, Germany, September 29-30, 2021, pp. 97-112, 2021, ACM, 978-1-4503-8675-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Gabriela Araujo Britto, Leopoldo Teixeira, Rohit Gheyi |
TSDolly: A program generator for TypeScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021, pp. 66-74, 2021, ACM, 978-1-4503-9062-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Anson Miu, Francisco Ferreira 0001, Nobuko Yoshida, Fangyi Zhou 0002 |
Communication-safe web programming in TypeScript with routed multiparty session types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, Virtual Event, Republic of Korea, March 2-3, 2021, pp. 94-106, 2021, ACM, 978-1-4503-8325-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Doan Thi Hoai Thu, Duc-Anh Nguyen, Pham Ngoc Hung |
Automated Test Data Generation for Typescript Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSE ![In: 13th International Conference on Knowledge and Systems Engineering, KSE 2021, Bangkok, Thailand, November 10-12, 2021, pp. 1-6, 2021, IEEE, 978-1-6654-9975-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Zhefeng Wu, Zhe Sun, Kai Gong, Lingyun Chen, Bin Liao, Yihua Jin |
Hidden inheritance: an inline caching design for TypeScript performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(OOPSLA), pp. 174:1-174:29, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Anson Miu, Francisco Ferreira 0001, Nobuko Yoshida, Fangyi Zhou 0002 |
Generating Interactive WebSocket Applications in TypeScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES@ETAPS ![In: Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2020, Dublin, Ireland, 26th April 2020., pp. 12-22, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Nate Black |
Boris Cherny on TypeScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 37(2), pp. 98-100, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Jesse Wright, Sergio José Rodríguez Méndez, Armin Haller, Kerry Taylor, Pouya Ghiasnezhad Omran |
on2ts- Typescript generation from OWL ontologies and SHACL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC (Demos/Industry) ![In: Proceedings of the ISWC 2020 Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 19th International Semantic Web Conference (ISWC 2020), Globally online, November 1-6, 2020 (UTC)., pp. 358-363, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
27 | Thomas Ball, Abhijith Chatra, Peli de Halleux, Steve Hodges 0001, Michal Moskal, Jacqueline Russell |
Microsoft MakeCode: embedded programming for education, in blocks and TypeScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLASH-E ![In: SPLASH-E '19 - Proceedings of the 2019 ACM SIGPLAN Workshop on SPLASH-E, Athens, Greece, October 25, 2019, pp. 7-12, 2019, ACM, 978-1-4503-6989-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Erik Krogh Kristensen, Anders Møller |
Type test scripts for TypeScript testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 1(OOPSLA), pp. 90:1-90:25, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Jack Williams 0001, J. Garrett Morris, Philip Wadler, Jakub Zalewski |
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Artifacts Ser. ![In: Dagstuhl Artifacts Ser. 3(2), pp. 08:1-08:2, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Ivo Gabe de Wolff, Jurriaan Hage |
Refining types using type guards in TypeScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017, pp. 111-122, 2017, ACM, 978-1-4503-4721-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Jack Williams 0001, J. Garrett Morris, Philip Wadler, Jakub Zalewski |
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19-23, 2017, Barcelona, Spain, pp. 28:1-28:29, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-035-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Erik Krogh Kristensen, Anders Møller |
Inference and Evolution of TypeScript Declaration Files. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, pp. 99-115, 2017, Springer, 978-3-662-54493-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala |
Refinement Types for TypeScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1604.02480, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
27 | Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala |
Refinement types for TypeScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016, pp. 310-325, 2016, ACM, 978-1-4503-4261-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Ashley Mills |
Animating Typescript Using Aesthetically Evolved Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoMUSART ![In: Evolutionary and Biologically Inspired Music, Sound, Art and Design - 5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings, pp. 126-134, 2016, Springer, 978-3-319-31007-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Lars Fischer, Stefan Hanenberg |
An empirical investigation of the effects of type systems and code completion on API usability using TypeScript and JavaScript in MS visual studio. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLS ![In: Proceedings of the 11th Symposium on Dynamic Languages, DLS 2015, part of SPLASH 2015, Pittsburgh, PA, USA, October 25-30, 2015, pp. 154-167, 2015, ACM, 978-1-4503-3690-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Aseem Rastogi, Nikhil Swamy, Cédric Fournet, Gavin M. Bierman, Panagiotis Vekris |
Safe & Efficient Gradual Typing for TypeScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015, pp. 167-180, 2015, ACM, 978-1-4503-3300-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Gregor Richards, Francesco Zappa Nardelli, Jan Vitek |
Concrete Types for TypeScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 29th European Conference on Object-Oriented Programming, ECOOP 2015, July 5-10, 2015, Prague, Czech Republic, pp. 76-100, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-86-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Angela Krey |
Wittgensteins Nachlass: "Semantische Annotation von Adjektiven im Big Typescript". ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHd ![In: 1. Tagung des Verbands Digital Humanities im deutschsprachigen Raum, DHd 2014, Passau, Germany, March 25 - 28, 2014, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Asger Feldthaus, Anders Møller |
Checking correctness of TypeScript interfaces for JavaScript libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2014, part of SPLASH 2014, Portland, OR, USA, October 20-24, 2014, pp. 1-16, 2014, ACM, 978-1-4503-2585-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Gavin M. Bierman, Martín Abadi, Mads Torgersen |
Understanding TypeScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014. Proceedings, pp. 257-281, 2014, Springer, 978-3-662-44201-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Jihyeok Park |
JavaScript API misuse detection by using typescript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODULARITY (Companion) ![In: 13th International Conference on Modularity, MODULARITY '14, Lugano, Switzerland, April 22-26, 2014, pp. 11-12, 2014, ACM, 978-1-4503-2772-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #45 of 45 (100 per page; Change: )
|
|