Log in

Relevant bibliographies by topics / Standard ML / Journal articles

To see the other types of publications on this topic, follow the link: Standard ML.

Journal articles on the topic 'Standard ML'

Author: Grafiati

Published: 4 June 2021

Last updated: 29 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Standard ML.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Tofte, Mads. "Standard ML language." Scholarpedia 4, no. 2 (2009): 7515. http://dx.doi.org/10.4249/scholarpedia.7515.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Steensgaard-Madsen, Jørgen. "Commentary on standard ML." Science of Computer Programming 18, no. 3 (1992): 302–3. http://dx.doi.org/10.1016/0167-6423(92)90026-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Reppy, John, and Jon Riecke. "Simple objects for Standard ML." ACM SIGPLAN Notices 31, no. 5 (1996): 171–80. http://dx.doi.org/10.1145/249069.231412.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Russo, Claudio V. "Recursive structures for standard ML." ACM SIGPLAN Notices 47, no. 4a (2012): 48–59. http://dx.doi.org/10.1145/2442776.2442784.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

MacQueen, David, Robert Harper, and John Reppy. "The history of Standard ML." Proceedings of the ACM on Programming Languages 4, HOPL (2020): 1–100. http://dx.doi.org/10.1145/3386336.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Russo, Claudio V. "Recursive structures for standard ML." ACM SIGPLAN Notices 36, no. 10 (2001): 50–61. http://dx.doi.org/10.1145/507669.507644.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Appel, Andrew W., and David B. MacQueen. "Separate compilation for Standard ML." ACM SIGPLAN Notices 29, no. 6 (1994): 13–23. http://dx.doi.org/10.1145/773473.178245.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Appel, Andrew W. "A critique of Standard ML." Journal of Functional Programming 3, no. 4 (1993): 391–429. http://dx.doi.org/10.1017/s0956796800000836.

Full text

Abstract:

AbstractStandard ML is an excellent language for many kinds of programming. It is safe, efficient, suitably abstract, and concise. There are many aspects of the language that work well.However, nothing is perfect: Standard ML has a few shortcomings. In some cases there are obvious solutions, and in other cases further research is required.

APA, Harvard, Vancouver, ISO, and other styles

9

Tolmach, Andrew, and Andrew W. Appel. "A Debugger for Standard ML." Journal of Functional Programming 5, no. 2 (1995): 155–200. http://dx.doi.org/10.1017/s0956796800001313.

Full text

Abstract:

AbstractWe have built a portable, instrumentation-based, replay debugger for the Standard ML of New Jersey compiler. Traditional ‘source-level’ debuggers for compiled languages actually operate at machine level, which makes them complex, difficult to port, and intolerant of compiler optimization. For secure languages like ML, however, debugging support can be provided without reference to the underlying machine, by adding instrumentation to program source code before compilation. Because instrumented code is (almost) ordinary source, it can be processed by the ordinary compiler. Our debugger i

APA, Harvard, Vancouver, ISO, and other styles

10

Gunter, Carl A. "Automated analysis of standard ML." ACM SIGSOFT Software Engineering Notes 25, no. 1 (2000): 53. http://dx.doi.org/10.1145/340855.340950.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Blume, Matthias. "Dependency analysis for Standard ML." ACM Transactions on Programming Languages and Systems 21, no. 4 (1999): 790–812. http://dx.doi.org/10.1145/325478.325481.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Ghosh-Roy, R. "Conjunction-type standard ML polymorphism." Lisp and Symbolic Computation 3, no. 4 (1990): 381–409. http://dx.doi.org/10.1007/bf01807698.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Benton, Nick, Andrew Kennedy, and George Russell. "Compiling standard ML to Java bytecodes." ACM SIGPLAN Notices 34, no. 1 (1999): 129–40. http://dx.doi.org/10.1145/291251.289435.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Biagioni, Edoardo. "A structured TCP in standard ML." ACM SIGCOMM Computer Communication Review 24, no. 4 (1994): 36–45. http://dx.doi.org/10.1145/190809.190318.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Tolmach, Andrew P., and Andrew W. Appel. "Debuggable concurrency extensions for standard ML." ACM SIGPLAN Notices 26, no. 12 (1991): 120–31. http://dx.doi.org/10.1145/127695.122770.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Iversen, Jørgen Bøndergaard. "An action compiler targeting Standard ML." Science of Computer Programming 68, no. 2 (2007): 79–94. http://dx.doi.org/10.1016/j.scico.2006.05.013.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Traxler, J. "Abstract data types in standard ML." Information and Software Technology 35, no. 11-12 (1993): 705. http://dx.doi.org/10.1016/0950-5849(93)90097-m.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Birkedal, Lars, and Morten Welinder. "Binding-time analysis for Standard ML." Lisp and Symbolic Computation 8, no. 3 (1995): 191–208. http://dx.doi.org/10.1007/bf01019003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Iversen, Jørgen. "An Action Compiler Targeting Standard ML." Electronic Notes in Theoretical Computer Science 141, no. 4 (2005): 167–88. http://dx.doi.org/10.1016/j.entcs.2005.02.057.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Harper, Robert, and John C. Mitchell. "On the type structure of standard ML." ACM Transactions on Programming Languages and Systems 15, no. 2 (1993): 211–52. http://dx.doi.org/10.1145/169701.169696.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Lee, Daniel K., Karl Crary, and Robert Harper. "Towards a mechanized metatheory of standard ML." ACM SIGPLAN Notices 42, no. 1 (2007): 173–84. http://dx.doi.org/10.1145/1190215.1190245.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Shao, Zhong, and Andrew W. Appel. "A type-based compiler for standard ML." ACM SIGPLAN Notices 30, no. 6 (1995): 116–29. http://dx.doi.org/10.1145/223428.207123.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Stern, Gavin. "Setting the Standard for AI and ML." Biomedical Instrumentation & Technology 56, no. 4 (2022): 110. http://dx.doi.org/10.2345/0899-8205-56.4.110.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Ohori, Atsushi, and Katsuhiro Ueno. "Making standard ML a practical database programming language." ACM SIGPLAN Notices 46, no. 9 (2011): 307–19. http://dx.doi.org/10.1145/2034574.2034815.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Rahli, Vincent, Joe Wells, John Pirie, and Fairouz Kamareddine. "Skalpel: A Type Error Slicer for Standard ML." Electronic Notes in Theoretical Computer Science 312 (April 2015): 197–213. http://dx.doi.org/10.1016/j.entcs.2015.04.012.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Steensgaard-Madsen, Jørgen. "Applicative high order programming: The standard ML perspective." Science of Computer Programming 18, no. 3 (1992): 293–94. http://dx.doi.org/10.1016/0167-6423(92)90021-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Michaelson, Greg, and Norman Scaife. "Prototyping a parallel vision system in Standard ML." Journal of Functional Programming 5, no. 3 (1995): 345–82. http://dx.doi.org/10.1017/s0956796800001398.

Full text

Abstract:

AbstractThe construction of a parallel vision system from Standard ML prototypes is presented. The system recognises 3D objects from 2D scenes through edge detection, grouping of edges into straight lines and line junction based model matching. Functional prototyping for parallelism is illustrated through the development of the straight line detection component. The assemblage of the whole system from prototyped components is then considered and its performance discussed.

APA, Harvard, Vancouver, ISO, and other styles

28

SIVARAMAKRISHNAN, K. C., LUKASZ ZIAREK, and SURESH JAGANNATHAN. "MultiMLton: A multicore-aware runtime for standard ML." Journal of Functional Programming 24, no. 6 (2014): 613–74. http://dx.doi.org/10.1017/s0956796814000161.

Full text

Abstract:

AbstractMultiMLton is an extension of the MLton compiler and runtime system that targets scalable, multicore architectures. It provides specific support for ACML, a derivative of Concurrent ML that allows for the construction of composable asynchronous events. To effectively manage asynchrony, we require the runtime to efficiently handle potentially large numbers of lightweight, short-lived threads, many of which are created specifically to deal with the implicit concurrency introduced by asynchronous events. Scalability demands also dictate that the runtime minimize global coordination. Multi

APA, Harvard, Vancouver, ISO, and other styles

29

Mitchell, John, and Ramesh Viswanathan. "Standard ML–NJ Weak Polymorphism and Imperative Constructs." Information and Computation 127, no. 2 (1996): 102–16. http://dx.doi.org/10.1006/inco.1996.0054.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Foubister, S. P., G. J. Michaelson, and N. Tomes. "Automatic assessment of elementary Standard ML programs using Ceilidh." Journal of Computer Assisted Learning 13, no. 2 (1997): 99–108. http://dx.doi.org/10.1046/j.1365-2729.1997.00012.x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

O'Neill, G. "Automatic Translation of VDM Specifications into Standard ML Programs." Computer Journal 35, no. 6 (1992): 623–24. http://dx.doi.org/10.1093/comjnl/35.6.623.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Kawaguchi, Nobuo, Toshiki Sakabe, and Yasuyoshi Inagaki. "Implementing Visualization of Term Rewriting Computation in Standard ML." IEEJ Transactions on Electronics, Information and Systems 116, no. 1 (1996): 103–10. http://dx.doi.org/10.1541/ieejeiss1987.116.1_103.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Berry, Dave. "Lessons from the design of a Standard ML library." Journal of Functional Programming 3, no. 4 (1993): 527–52. http://dx.doi.org/10.1017/s0956796800000873.

Full text

Abstract:

AbstractWe describe the Edinburgh SML Library and draw lessons from its development. These lessons are of two kinds. The first concerns how to use SML to write a library, and shows some of the design choices that have to be considered. Most of the paper concerns this topic. The second kind of lesson concerns ways in which the language hinders the construction of a library. We suggest some changes to the language as a result of this experience, the most important being the addition of higher-order functors. We also suggest that language designers should consider the needs of libraries early on

APA, Harvard, Vancouver, ISO, and other styles

34

Orr, Laurel, Atindriyo Sanyal, Xiao Ling, Karan Goel, and Megan Leszczynski. "Managing ML pipelines." Proceedings of the VLDB Endowment 14, no. 12 (2021): 3178–81. http://dx.doi.org/10.14778/3476311.3476402.

Full text

Abstract:

The industrial machine learning pipeline requires iterating on model features, training and deploying models, and monitoring deployed models at scale. Feature stores were developed to manage and standardize the engineer's workflow in this end-to-end pipeline, focusing on traditional tabular feature data. In recent years, however, model development has shifted towards using self-supervised pretrained embeddings as model features. Managing these embeddings and the downstream systems that use them introduces new challenges with respect to managing embedding training data, measuring embedding qual

APA, Harvard, Vancouver, ISO, and other styles

35

Alvin Nurfaiz, Dida Ardito Yudhistira, Dwi Istiyarno, and Trisma Jaya Saputra. "Pengaruh Dampak Variasi Piston Diameter 58 ML Dan 52 ML Terhadap Kinerja Motor Matic 4 Tak 110." Jurnal Teknik Mesin, Industri, Elektro dan Informatika 2, no. 3 (2023): 179–85. http://dx.doi.org/10.55606/jtmei.v2i3.2135.

Full text

Abstract:

This research was conducted to determine the effect or impact of variations in the size of a standard piston diameter (52 ML) with a piston with a diameter of 58 ML on a Yamaha Mio motorbike using a dyno test. The results we got from the dyno test, the power or horsepower (HP) produced from a motorbike with a standard 52 ML piston size is 7.44 HP at Rpm 7000 and a torque of 8.72 Nm. Meanwhile, the modified motor with a 58 ML piston produces 11.37 HP at 7000 Rpm and 11.10 Nm of torque. And it can be concluded that motors with factory original standard pistons measuring 52 ML have much lower tor

APA, Harvard, Vancouver, ISO, and other styles

36

Rahli, Vincent, Joe Wells, John Pirie, and Fairouz Kamareddine. "Skalpel: A constraint-based type error slicer for Standard ML." Journal of Symbolic Computation 80 (May 2017): 164–208. http://dx.doi.org/10.1016/j.jsc.2016.07.013.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Emms, Martin, and Hans Leiβ. "Extending the type checker of Standard ML by polymorphic recursion." Theoretical Computer Science 212, no. 1-2 (1999): 157–81. http://dx.doi.org/10.1016/s0304-3975(98)00139-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Stefanovic, Darko, and J. Eliot B. Moss. "Characterization of object behaviour in Standard ML of New Jersey." ACM SIGPLAN Lisp Pointers VII, no. 3 (1994): 43–54. http://dx.doi.org/10.1145/182590.182428.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Henderson, Peter B., and Francisco J. Romero. "Teaching recursion as a problem-solving tool using standard ML." ACM SIGCSE Bulletin 21, no. 1 (1989): 27–31. http://dx.doi.org/10.1145/65294.71190.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Spidlen, Josef, Wayne Moore, and Ryan R. Brinkman. "ISAC's Gating-ML 2.0 data exchange standard for gating description." Cytometry Part A 87, no. 7 (2015): 683–87. http://dx.doi.org/10.1002/cyto.a.22690.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

董, 奕纲. "Standard Research on English-Origin Words of Hi-Technology." Modern Linguistics 10, no. 06 (2022): 1236–42. http://dx.doi.org/10.12677/ml.2022.106165.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

王, 璐. "An Overview of the Standard of Japanese Roman Alphabets." Modern Linguistics 07, no. 05 (2019): 738–45. http://dx.doi.org/10.12677/ml.2019.75098.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Yi, Kwangkeun, and Sukyoung Ryu. "A cost-effective estimation of uncaught exceptions in Standard ML programs." Theoretical Computer Science 277, no. 1-2 (2002): 185–217. http://dx.doi.org/10.1016/s0304-3975(00)00317-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Yi, Kwangkeun. "An abstract interpretation for estimating uncaught exceptions in Standard ML programs." Science of Computer Programming 31, no. 1 (1998): 147–73. http://dx.doi.org/10.1016/s0167-6423(96)00044-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Tan, Susanna K., Stephen Milligan, Malaya K. Sahoo, Nathaniel Taylor, and Benjamin A. Pinsky. "Calibration of BK Virus Nucleic Acid Amplification Testing to the 1st WHO International Standard for BK Virus." Journal of Clinical Microbiology 55, no. 3 (2017): 923–30. http://dx.doi.org/10.1128/jcm.02315-16.

Full text

Abstract:

ABSTRACT Significant interassay variability in the quantification of BK virus (BKV) DNA precludes establishing broadly applicable thresholds for the management of BKV infection in transplantation. The 1st WHO International Standard for BKV (primary standard) was introduced in 2016 as a common calibrator for improving the harmonization of BKV nucleic acid amplification testing (NAAT) and enabling comparisons of biological measurements worldwide. Here, we evaluated the Altona RealStar BKV assay (Altona) and calibrated the results to the international unit (IU) using the Exact Diagnostics BKV ver

APA, Harvard, Vancouver, ISO, and other styles

46

Sloos, Marjoleine. "The reversal of the BÄREN-BEEREN merger in Austrian Standard German." Phonological and Phonetic considerations of Lexical Processing 8, no. 3 (2013): 353–71. http://dx.doi.org/10.1075/ml.8.3.05slo.

Full text

Abstract:

In language change, a reversal of a merger is generally considered to be impossible, since after two sounds have become fully merged, they are no longer distinct, so no phonetic or phonological cues exist that could reverse this process. This article investigates such an ‘impossible’ merger reversal: the split of Bären vowel (orthographically represented by <ä> or <äh>) and the Beeren vowel (orthographically represented by <e>, <ee> or <eh> in Austrian Standard German. We investigated a corpus of spoken data, measured the acoustic properties of the vowels, and det

APA, Harvard, Vancouver, ISO, and other styles

47

BOUTS, ANTONIA H. M., JEAN-CLAUDE DAVIN, JAAP W. GROOTHOFF, SJOERD PLOOS VAN AMSTEL, MACHTELD M. ZWEERS, and RAYMOND T. KREDIET. "Standard Peritoneal Permeability Analysis in Children." Journal of the American Society of Nephrology 11, no. 5 (2000): 943–50. http://dx.doi.org/10.1681/asn.v115943.

Full text

Abstract:

Abstract. Peritoneal transport characteristics in children on peritoneal dialysis (PD) has been reported to be different compared to adults. However, various test methods can influence this difference. Thirty-one standard peritoneal permeability analyses (SPA) were performed in 18 PD children with a median (range) age of 9.8 yr (2 to 19) and a median duration of PD of 2.6 yr (0.19 to 6.8). The median mass transfer area coefficient (MTAC) for creatinine was 9.6 ml/min per 1.73 m2 (4.4 to 18.0), and for urea 17.3 ml/min per 1.73 m2 (12.2 to 22.8). The median dialysate to plasma creatinine ratio

APA, Harvard, Vancouver, ISO, and other styles

48

McDonald, C. "Denotational Semantics of a Command Interpreter and their Implementation in Standard ML." Computer Journal 32, no. 5 (1989): 422–31. http://dx.doi.org/10.1093/comjnl/32.5.422.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Katiyar, Dr Alok, Sajid Ali, and Sameer Ray. "Multiple Disease Prediction Using ML." International Journal of Recent Technology and Engineering (IJRTE) 12, no. 1 (2023): 15–18. http://dx.doi.org/10.35940/ijrte.a7568.0512123.

Full text

Abstract:

Accurate and on-time analysis of any health-related drawback is vital for the interference and treatment of the sickness. The normal method of diagnosing might not be sufficient within the case of a significant illness. Developing a medical diagnosing system supported machine learning (ML) algorithms for prediction of any unwellness will facilitate during a lot of correct diagnosis than the standard methodology. We've designed a disease prediction system using ML. Disease Prediction System using Machine Learning could be a system that predicts the sickness supported data or symptoms that he/sh

APA, Harvard, Vancouver, ISO, and other styles

50

Koontz, Franklin P., Kristine K. Flint, Janet K. Reynolds, and Stephen D. Allen. "Multicenter comparison of the high volume (10 ml) NR bactec plus system and the standard (5 ml) NR bactec system." Diagnostic Microbiology and Infectious Disease 14, no. 2 (1991): 111–18. http://dx.doi.org/10.1016/0732-8893(91)90044-g.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!