Search Results - "ML (Computer program language)"

Talking about the deceased in the Jish linguaculture: A semantic and pragmatic analysis.

Authors: Habib, Sandy¹ havivsan@m.telhai.ac.il

Source: Pragmatics & Society. 2025, Vol. 16 Issue 2, p201-225. 25p.

On the Creation of an International Terminological Database and Terminology of Materials Science and Chemistry in the Context of the Training of Chemistry Teachers.

Authors: Shibaev, Pavel B. Galimov, Engel' R. Sharafutdinova, El'mira E. et al.

Source: ARPHA Proceedings. 2020, p2315-2331. 17p.

Conceptualising language MOOC diversity: The creation of a defined taxonomy through the analysis of course indicators.

Authors: Díez-Arcón, Paz Agonács, Nikoletta

Source: ReCALL; Sep2024, Vol. 36 Issue 3, p1-19, 19p

A Foreign Language Interface from ML to Shell.

Authors: Ueno, Katsuhiro Ohori, Atsushi

Source: New Generation Computing. Aug2016, Vol. 34 Issue 3, p239-256. 18p.

Subjects: ML (Computer program language), Metalanguage, Computer programming, Compilers (Computer programs), Programming language semantics

Reusability of Shoes' Design Information Based on KBE and CBR.

Authors: Tan Juanjuan Peng Wenli Zhang Wenni et al.

Source: Proceedings of the International Symposium on Information Processing; 2009, p302-305, 4p, 2 Diagrams, 1 Chart

Chapter 4: Type-Specialized Serialization with Sharing.

Authors: Elsman, Martin¹, mael@itu.dk

Source: Trends in Functional Programming Volume 6; 2007, Vol. 6, p47-62, 16p

Chapter 4: O'Camelot: Adding Objects to a Resource-Aware Functional Language.

Authors: Wolverson, Nicholas MacKenzie, Kenneth

Source: Trends in Functional Programming Volume 4; 2005, Vol. 4, p47-62, 16p

Chapter 3: Camelot and Grail: Resource-Aware Functional Programming for the JVM.

Authors: MacKenzie, K. Wolverson, N.

Source: Trends in Functional Programming Volume 4; 2005, Vol. 4, p29-46, 18p

Algebra at the Meta and the Object Level.

Authors: Oldenburg, Reinhard¹ reinhard.oldenburg@math.uni-augsburg.de

Source: Turkish Journal of Computer & Mathematics Education. Winter2015, Vol. 6 Issue 3, p366-379. 14p.

A modelling language for the design and execution of enterprise models in manufacturing.

Authors: Santos, Jose P. O. Ferreira, J. J. Pinto Mendonca, Jose M.

Source: International Journal of Computer Integrated Manufacturing. Jan/Feb2000, Vol. 13 Issue 1, p1-10. 10p. 12 Diagrams, 2 Charts.

Subjects: Extended ML (Computer program language), Manufacturing processes

Typing secure implementation of authentication protocols in environments with compromised principals.

Authors: Sattarzadeh, Behnam Fallah, Mehran S.

Source: Security & Communication Networks; Nov2014, Vol. 7 Issue 11, p1815-1830, 16p

CHARACTERISTICS OF THE CONTEXT-DRIVEN META-MODELING PARADIGM (CDMM-P).

Authors: ZABAWA, PIOTR STANUSZEK, MAREK

Source: Technical Transactions / Czasopismo Techniczne; 2014, Issue 17, p123-134, 12p

Modeling and Verification of D-flip flop using PROMELA and SPIN.

Authors: MUFUTUMARI, NEPHAS RUPERE, TAURAYI

Source: International Journal of Computing & ICT Research; Dec2013, Vol. 7 Issue 2, p48-53, 6p

Improving Program Comprehension by Automatic Metamodel Abstraction.

Authors: Vagač, Michal Kollár, Ján

Source: Computer Science & Information Systems; Jan2012, Vol. 9 Issue 1, p235-247, 13p, 1 Color Photograph, 3 Diagrams

A compiled implementation of normalisation by evaluation.

Authors: AEHLIG, KLAUS HAFTMANN, FLORIAN NIPKOW, TOBIAS

Source: Journal of Functional Programming. Jan2012, Vol. 22 Issue 1, p9-30. 22p.

Generating meta-heuristic optimization code using ADATE.

Authors: Løkketangen, Arne Olsson, Roland

Source: Journal of Heuristics; Dec2010, Vol. 16 Issue 6, p911-930, 20p, 7 Diagrams, 5 Charts, 2 Graphs

Lightweight checkpointing for concurrent ML.

Authors: Ziarek, Lukasz Jagannathan, Suresh

Source: Journal of Functional Programming. Mar2010, Vol. 20 Issue 2, p137-173. 37p.

Type-safe higher-order channels with channel locality.

Authors: PARK, SUNGWOO HYEONSEUNG IM

Source: Journal of Functional Programming. Jan2009, Vol. 19 Issue 1, p107-142. 36p.

Building language towers with Ziggurat.

Authors: FISHER, DAVID SHIVERS, OLIN

Source: Journal of Functional Programming. Nov2008, Vol. 18 Issue 5/6, p707-780. 74p.

Acute: High-level programming language design for distributed computation.

Authors: PETER SEWELL JAMES J. LEIFER KEITH WANSBROUGH et al.

Source: Journal of Functional Programming. Jul2007, Vol. 17 Issue 4/5, p547-612. 66p.