Algebra at the Meta and the Object Level.
- Published in:
- Turkish Journal of Computer & Mathematics Education, 2015, v. 6, n. 3, p. 366, doi. 10.16949/turcomat.18001
- By:
- Publication type:
- Article
Works matching DE "ML (Computer program language)"
Results: 26
1
2
CHARACTERISTICS OF THE CONTEXT-DRIVEN META-MODELING PARADIGM (CDMM-P).
- Published in:
- Technical Transactions / Czasopismo Techniczne, 2014, n. 17, p. 123
- By:
- Publication type:
- Article
3
Teaching Computer Languages and Elementary Theory for Mixed Audiences at University Level.
- Published in:
- Computer Science Education, 2004, v. 14, n. 3, p. 205, doi. 10.1080/0899340042000302727
- By:
- Publication type:
- Article
4
Modeling and Verification of D-flip flop using PROMELA and SPIN.
- Published in:
- International Journal of Computing & ICT Research, 2013, v. 7, n. 2, p. 48
- By:
- Publication type:
- Article
5
Generating meta-heuristic optimization code using ADATE.
- Published in:
- Journal of Heuristics, 2010, v. 16, n. 6, p. 911, doi. 10.1007/s10732-009-9119-1
- By:
- Publication type:
- Article
6
Conceptualising language MOOC diversity: The creation of a defined taxonomy through the analysis of course indicators.
- Published in:
- ReCALL, 2024, v. 36, n. 3, p. 1, doi. 10.1017/S0958344024000132
- By:
- Publication type:
- Article
7
Talking about the deceased in the Jish linguaculture: A semantic and pragmatic analysis.
- Published in:
- Pragmatics & Society, 2025, v. 16, n. 2, p. 201, doi. 10.1075/ps.23034.hab
- By:
- Publication type:
- Article
8
A Foreign Language Interface from ML to Shell.
- Published in:
- New Generation Computing, 2016, v. 34, n. 3, p. 239, doi. 10.1007/s00354-016-0303-1
- By:
- Publication type:
- Article
9
Distributed Evaluation of Functional BSP Programs.
- Published in:
- Parallel Processing Letters, 2001, v. 11, n. 4, p. 423, doi. 10.1016/S0129-6264(01)00070-1
- By:
- Publication type:
- Article
10
Preface – Special Issue on Logical Frameworks and Meta-Languages 2015.
- Published in:
- 2018
- By:
- Publication type:
- Editorial
11
Monadic translation of classical sequent calculus.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 6, p. 1111, doi. 10.1017/S0960129512000436
- By:
- Publication type:
- Article
12
A logical framework combining model and proof theory.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 5, p. 945, doi. 10.1017/S0960129512000424
- By:
- Publication type:
- Article
13
Typing secure implementation of authentication protocols in environments with compromised principals.
- Published in:
- Security & Communication Networks, 2014, v. 7, n. 11, p. 1815, doi. 10.1002/sec.882
- By:
- Publication type:
- Article
14
Towards an Automated Semiotic Analysis of the Romanian Political Discourse.
- Published in:
- Computer Science Journal of Moldova, 2013, v. 21, n. 1, p. 36
- By:
- Publication type:
- Article
15
A programming environment having three levels of complexity for mobile robotics.
- Published in:
- Revista Ingeniería e Investigación, 2012, v. 32, n. 3, p. 76, doi. 10.15446/ing.investig.v32n3.35947
- By:
- Publication type:
- Article
16
Improving Program Comprehension by Automatic Metamodel Abstraction.
- Published in:
- Computer Science & Information Systems, 2012, v. 9, n. 1, p. 235, doi. 10.2298/CSIS110406047V
- By:
- Publication type:
- Article
17
MultiMLton: A multicore-aware runtime for standard ML.
- Published in:
- Journal of Functional Programming, 2014, v. 24, n. 6, p. 613, doi. 10.1017/S0956796814000161
- By:
- Publication type:
- Article
18
A compiled implementation of normalisation by evaluation.
- Published in:
- Journal of Functional Programming, 2012, v. 22, n. 1, p. 9, doi. 10.1017/S0956796812000019
- By:
- Publication type:
- Article
19
Lightweight checkpointing for concurrent ML.
- Published in:
- Journal of Functional Programming, 2010, v. 20, n. 2, p. 137, doi. 10.1017/S0956796810000067
- By:
- Publication type:
- Article
20
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages.
- Published in:
- Journal of Functional Programming, 2009, v. 19, n. 5, p. 509, doi. 10.1017/S0956796809007205
- By:
- Publication type:
- Article
21
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages.
- Published in:
- Journal of Functional Programming, 2009, v. 19, p. 509, doi. 10.1017/S0956796809007205
- By:
- Publication type:
- Article
22
Type-safe higher-order channels with channel locality.
- Published in:
- Journal of Functional Programming, 2009, v. 19, n. 1, p. 107, doi. 10.1017/S0956796808006989
- By:
- Publication type:
- Article
23
Building language towers with Ziggurat.
- Published in:
- Journal of Functional Programming, 2008, v. 18, n. 5/6, p. 707, doi. 10.1017/S0956796808006928
- By:
- Publication type:
- Article
24
Acute: High-level programming language design for distributed computation.
- Published in:
- Journal of Functional Programming, 2007, v. 17, n. 4/5, p. 547, doi. 10.1017/S0956796807006442
- By:
- Publication type:
- Article
25
Dependent ML An approach to practical programming with dependent types.
- Published in:
- Journal of Functional Programming, 2007, v. 17, n. 2, p. 215, doi. 10.1017/S0956796806006216
- By:
- Publication type:
- Article
26
A parallel SML compiler based on algorithmic skeletons.
- Published in:
- Journal of Functional Programming, 2005, v. 15, n. 4, p. 615, doi. 10.1017/s0956796804005489
- By:
- Publication type:
- Article