1 |
Demo Paper: Coqlex, an approach to generate verified lexers
|
|
|
|
In: ML 2021-ACM SIGPLAN Workshop on ML ; https://hal.inria.fr/hal-03470713 ; ML 2021-ACM SIGPLAN Workshop on ML, Aug 2021, Online event, United States ; https://icfp21.sigplan.org/home/mlfamilyworkshop-2021 (2021)
|
|
BASE
|
|
Show details
|
|
2 |
The Impact of Programming Language’s Type on Probabilistic Machine Learning Models
|
|
|
|
In: Master's Projects (2021)
|
|
BASE
|
|
Show details
|
|
5 |
A vision of miking : Interactive programmatic modeling, sound language composition, and self-learning compilation
|
|
Broman, David. - : KTH, Programvaruteknik och datorsystem, SCS, 2019. : Association for Computing Machinery, Inc, 2019
|
|
BASE
|
|
Show details
|
|
6 |
Developing 5GL Concepts from User Interactions
|
|
|
|
In: Masters Theses (2019)
|
|
BASE
|
|
Show details
|
|
7 |
Merlin: a language server for OCaml (experience report)
|
|
|
|
In: ISSN: 2475-1421 ; Proceedings of the ACM on Programming Languages ; https://hal.inria.fr/hal-01929161 ; Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (ICFP), pp.1 - 15. ⟨10.1145/3236798⟩ (2018)
|
|
BASE
|
|
Show details
|
|
8 |
Augmented Reality in Foreign Language Education: A Review of Empirical Studies (增强现实技术在外语教学中的应用:文献综述性研究)
|
|
|
|
In: World Languages and Cultures Publications (2018)
|
|
BASE
|
|
Show details
|
|
9 |
Lightweight Multilingual Software Analysis
|
|
|
|
In: Faculty Publications (2018)
|
|
BASE
|
|
Show details
|
|
10 |
Lightweight Call-Graph Construction for Multilingual Software Analysis
|
|
|
|
In: Faculty Publications (2018)
|
|
BASE
|
|
Show details
|
|
11 |
Lightweight Multilingual Software Analysis
|
|
|
|
In: Faculty Publications (2018)
|
|
BASE
|
|
Show details
|
|
14 |
Tango: A Spanish-Based Programming Language
|
|
|
|
In: Butler Journal of Undergraduate Research (2017)
|
|
BASE
|
|
Show details
|
|
16 |
Design and Implementation of an Optionally-Typed Functional Programming Language
|
|
|
|
In: Li, Patrick Shaobai. (2017). Design and Implementation of an Optionally-Typed Functional Programming Language. UC Berkeley: Electrical Engineering. Retrieved from: http://www.escholarship.org/uc/item/99k5w2m0 (2017)
|
|
BASE
|
|
Show details
|
|
17 |
Programming Language Keyword Frequencies Extracted From 16,000,000 Public Github Repositories (October 2016) ...
|
|
|
|
BASE
|
|
Show details
|
|
18 |
Evaluating Student Perceptions and Learning Outcomes: Differences Between SLA-aBLe and Non-SLA-aBLe Introductory Programming Courses
|
|
|
|
In: Publications (2017)
|
|
BASE
|
|
Show details
|
|
19 |
Dynamic Information Flow Analysis in Ruby
|
|
|
|
In: Master's Projects (2017)
|
|
BASE
|
|
Show details
|
|
20 |
Tango: A Spanish-Based Programming Language
|
|
|
|
In: Undergraduate Honors Thesis Collection (2016)
|
|
BASE
|
|
Show details
|
|
|
|