• Refine your search:
  • 
    Keyword:
    
    • [INFO.INFO-PL]Computer Science [cs] / Programming Languages [cs.PL] (89)
    • FOS Computer and information sciences (37)
    • Programming Languages cs.PL (37)
    • [INFO.INFO-SE]Computer Science [cs] / Software Engineering [cs.SE] (19)
    • [INFO.INFO-AI]Computer Science [cs] / Artificial Intelligence [cs.AI] (16)
    • [INFO.INFO-CL]Computer Science [cs] / Computation and Language [cs.CL] (14)
    • [INFO.INFO-DB]Computer Science [cs] / Databases [cs.DB] (14)
    • [INFO.INFO-DS]Computer Science [cs] / Data Structures and Algorithms [cs.DS] (13)
    • [INFO.INFO-IR]Computer Science [cs] / Information Retrieval [cs.IR] (13)
    • [INFO.INFO-WB]Computer Science [cs] / Web (13)
    •   more
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Article (126)
  • 
    BLLDB-Access:
    • free (126)
    • subject to license (0)

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 3 4 5...7 Hits 1 – 20 of 126 1 How ISO C became unusable for operating systems development ... Yodaiken, Victor. - : arXiv, 2022 BASE Show details 2 Formal Metatheory of Second-Order Abstract Syntax ... Fiore, Marcelo; Szamozvancev, Dmitrij. - : arXiv, 2022 BASE Show details 3 Communicating artificial neural networks develop efficient color-naming systems Chaabouni, Rahma; Kharitonov, Eugene; Dupoux, Emmanuel... In: ISSN: 0027-8424 ; EISSN: 1091-6490 ; Proceedings of the National Academy of Sciences of the United States of America ; https://hal.inria.fr/hal-03329084 ; Proceedings of the National Academy of Sciences of the United States of America , National Academy of Sciences, 2021, 118 (12), ⟨10.1073/pnas.2016569118⟩ (2021) BASE Show details 4 Improving Automation for Higher-Order Proof Steps Defourné, Antoine In: Lecture Notes ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems ; https://hal.archives-ouvertes.fr/hal-03528009 ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems, Sep 2021, Birmingham, United Kingdom. pp.139-153, ⟨10.1007/978-3-030-86205-3_8⟩ (2021) BASE Show details 5 Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices Giallorenzo, Saverio; Montesi, Fabrizio; Peressotti, Marco... In: 23th International Conference on Coordination Languages and Models (COORDINATION) ; https://hal.inria.fr/hal-03347326 ; 23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.276 - 284, ⟨10.1007/978-3-030-78142-2_17⟩ (2021) BASE Show details 6 Automatic Guide Generation for Stan via NumPyro Baudart, Guillaume; Mandel, Louis In: PROBPROG 2021 - Third International Conference on Probabilistic Programming ; https://hal.archives-ouvertes.fr/hal-03401708 ; PROBPROG 2021 - Third International Conference on Probabilistic Programming, Oct 2021, Virtual, United States (2021) BASE Show details 7 Categories with Families: Unityped, Simply Typed, and Dependently Typed Clairambault, Pierre; Castellan, Simon; Dybjer, Peter In: Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics ; https://hal.archives-ouvertes.fr/hal-03419296 ; Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics, 20, Springer International Publishing, pp.135-180, 2021, Outstanding Contributions to Logic, ⟨10.1007/978-3-030-66545-6_5⟩ (2021) BASE Show details 8 MESH: A Memory-Efficient Safe Heap for C/C++ ... Vintila, Emanuel Q.; Zieris, Philipp; Horsch, Julian. - : arXiv, 2021 BASE Show details 9 Enabling Dataflow Optimization for Quantum Programs ... Ittah, David; Häner, Thomas; Kliuchnikov, Vadym. - : arXiv, 2021 BASE Show details 10 A Logical Programming Language as an Instrument for Specifying and Verifying Dynamic Memory ... Haberland, René. - : arXiv, 2021 BASE Show details 11 Query Lifting: Language-integrated query for heterogeneous nested collections ... Ricciotti, Wilmer; Cheney, James. - : arXiv, 2021 BASE Show details 12 PROGRAMMER EN MAX AVEC bell Agostini, Andrea; Ghisi, Daniele; Giavitto, Jean-Louis In: Journées d'informatique musicale (JIM) 2020 ; https://hal.archives-ouvertes.fr/hal-03019742 ; Journées d'informatique musicale (JIM) 2020, Oct 2020, Strasbourg (en virtuel), France (2020) BASE Show details 13 Using Large-Scale Anomaly Detection on Code to Improve Kotlin Compiler ... Bryksin, Timofey; Petukhov, Victor; Alexin, Ilya. - : arXiv, 2020 BASE Show details 14 AnyHLS: High-Level Synthesis with Partial Evaluation ... Özkan, M. Akif; Pérard-Gayot, Arsène; Membarth, Richard. - : arXiv, 2020 BASE Show details 15 Bringing GNU Emacs to Native Code ... Corallo, Andrea; Nassi, Luca; Manca, Nicola. - : arXiv, 2020 BASE Show details 16 Patching as Translation: the Data and the Metaphor ... Ding, Yangruibo; Ray, Baishakhi; Devanbu, Premkumar. - : arXiv, 2020 BASE Show details 17 Illicium A modular transpilation toolchain from Pharo to C Misse-Chanabier, Pierre; Aranega, Vincent; Polito, Guillermo... In: IWST19 — International Workshop on Smalltalk Technologies ; https://hal.archives-ouvertes.fr/hal-02297860 ; IWST19 — International Workshop on Smalltalk Technologies, Aug 2019, Köln, Germany (2019) BASE Show details 18 Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer Journault, Matthieu; Miné, Antoine; Monat, Raphaël... In: Verified Software. Theories, Tools, and Experiments ; VSTTE 2019 : 11th Working Conference on Verified Software: Theories, Tools, and Experiments ; https://hal.sorbonne-universite.fr/hal-02890500 ; VSTTE 2019 : 11th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2019, New York, United States. pp.1-18, ⟨10.1007/978-3-030-41600-3_1⟩ ; https://sri-csl.github.io/VSTTE19/ (2019) BASE Show details 19 Creation and Analysis of the Yugoslav Rock Song Lyrics Corpus from 1967 to 2003 ; Креирање и анализа корпуса текстова jугословенских рок песама од 1967-2003. Petkovic, Ljudmila In: ISSN: 1450-9687 ; EISSN: 2217-9461 ; INFOtheca : Journal of Information and Library Science ; https://hal.archives-ouvertes.fr/hal-03091121 ; INFOtheca : Journal of Information and Library Science, Serbian Academic Library Association, 2019, 19 (1), pp.5-29. ⟨10.18485/infotheca.2019.19.1.1⟩ (2019) BASE Show details 20 Challenges in Debugging Bootstraps of Reflective Kernels Hernández Phillips, Carolina; Polito, Guillermo; Fabresse, Luc... In: IWST19 - International workshop on Smalltalk Technologies ; https://hal.archives-ouvertes.fr/hal-02297710 ; IWST19 - International workshop on Smalltalk Technologies, Aug 2019, Cologne, Germany (2019) BASE Show details Page: 1 2 3 4 5...7

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 126 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0