Relevant bibliographies by topics / Standard ML

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature 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 lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.

Journal articles on the topic "Standard ML"

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
More sources

Dissertations / Theses on the topic "Standard ML"

1

Chattopadhyay, Vaishali. "Distributed parallel computation using standard ML." Online access for everyone, 2007. http://www.dissertations.wsu.edu/Thesis/Fall2007/v_chattopadhyay_111607.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Wall, Emil. "Rationales and Approaches for Automated Testing of JavaScript and Standard ML." Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-219043.

Full text
Abstract:
The ever increasing complexity of web applications has brought new demands on automated testing of JavaScript, requiring test-driven development to achieve maintainable code. A contrasting area is testing of Standard ML, another functional language but with important differences. The aim of this thesis is to highlight the main problems with testing behaviour of applications written in these two programming languages, and how these problems relate to development tools and practises. This has been investigated based on the following research questions: What are the testability issues of client-s
APA, Harvard, Vancouver, ISO, and other styles
3

Mändl, Eva [Verfasser], Wolfgang L. E. [Akademischer Betreuer] Huber, Wolfgang L. E. [Gutachter] Huber, and Manfred [Gutachter] Blobner. "Transpulmonale Thermodilution mit erhöhtem Indikatorvolumen von 20 ml bei Raumtemperatur im Vergleich zur Standard-TPTD mit 15 ml gekühltem Indikator / Eva Mändl ; Gutachter: Wolfgang L. E. Huber, Manfred Blobner ; Betreuer: Wolfgang L. E. Huber." München : Universitätsbibliothek der TU München, 2019. http://d-nb.info/1202111041/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Hallberg, Jesper. "Searching for the charged Higgs boson in the tau nu analysis using Boosted Decision Trees." Thesis, Uppsala universitet, Högenergifysik, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-301351.

Full text
Abstract:
his thesis implements a multivariate analysis in the current cut- based search for the charged Higgs bosons, which are new scalar particles predicted by several extensions to the Standard Model. Heavy charged Higgs bosons (mH± mtop) produced in association with a top quark de- caying via H± → τν are considered. The final state contains a hadronic τ decay, missing transverse energy and a hadronically decaying top quark. This study is based on Monte Carlo samples simulated at CM-energy √ s = 13 TeV for signal and backgrounds. The figure of merit to measure the improvement of the new method with
APA, Harvard, Vancouver, ISO, and other styles
5

Spjuth, Ola. "Bioclipse integration of data and software in the life sciences /." Doctoral thesis, Uppsala : Acta Universitatis Upsaliensis, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-109305.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Kaur, Rajvir. "A comparative analysis of selected set of natural language processing (NLP) and machine learning (ML) algorithms for clinical coding using clinical classification standards." Thesis, 2018. http://hdl.handle.net/1959.7/uws:49614.

Full text
Abstract:
In Australia, hospital discharge summaries created at the end of an episode of care contain patient information such as demographic data, medical history, various diagnosis, interventions carried out, medications and drug therapies provided to the patient. These discharge summaries not only serve as a record of the episode of care, but later converted into a set of clinical codes for statistical analysis purposes. The process of clinical coding refers to assigning alphanumeric codes to discharge summaries. In Australia, clinical coding is done using International Classification of Diseases, ve
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Standard ML"

1

Harper, Robert. Standard ML. University of Edinburgh, Laboratoryfor Foundations of Computer Science, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Chris, Clack, and Poon Ellen, eds. Programming with Standard ML. Prentice Hall, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Harper, Robert. Introduction to Standard ML. Laboratory for Foundations of Computer Science, Computer Science Department, University of Edinburgh, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Milner, Robin. Commentary on Standard ML. MIT Press, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Milner, R. Commentary on Standard ML. MIT Press, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Harper, Robert. Introduction to Standard ML. Laboratory for Foundations of Computer Science, Computer Science Department, University of Edinburgh, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Milner, Robin. The definition of Standard ML. MIT Press, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Milner, R. The definition of Standard ML. MIT Press, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Tofte, Mads. Four lectures on standard ML. University of Edinburgh, Laboratory for Foundations in Computer Science, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

1950-, Gansner Emden R., and Reppy John H, eds. The Standard ML basis library. Cambridge Univeristy Press, 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Standard ML"

1

Lee, Kent D. "Standard ML." In Foundations of Programming Languages. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-13314-0_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Lee, Kent D. "Compiling Standard ML." In Foundations of Programming Languages. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-70790-7_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Lee, Kent D. "Compiling Standard ML." In Foundations of Programming Languages. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-13314-0_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Lee, Kent D. "Standard ML Type Inference." In Foundations of Programming Languages. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-70790-7_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Appel, Andrew W., and David B. MacQueen. "A standard ML compiler." In Functional Programming Languages and Computer Architecture. Springer Berlin Heidelberg, 1987. http://dx.doi.org/10.1007/3-540-18317-5_17.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

MacQueen, David B. "Reflections on standard ML." In Functional Programming, Concurrency, Simulation and Automated Reasoning. Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-56883-2_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Appel, Andrew W., and David B. MacQueen. "Standard ML of New Jersey." In Programming Language Implementation and Logic Programming. Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/3-540-54444-5_83.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Gordon, Thomas F. "An Implementation in Standard ML." In The Pleadings Game. Springer Netherlands, 1995. http://dx.doi.org/10.1007/978-94-015-8447-0_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Lee, Peter. "Implementing threads in Standard ML." In Advanced Functional Programming. Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61628-4_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Tofte, Mads. "Essentials of Standard ML Modules." In Advanced Functional Programming. Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61628-4_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Standard ML"

1

Abbas, Syed Ashraf. "A Review on Application of Machine Learning Techniques in Seismic Analysis of Timber Structures." In 14th International Civil Engineering Conference. Trans Tech Publications Ltd, 2025. https://doi.org/10.4028/p-5xmu1e.

Full text
Abstract:
In the last two decades, great progress in Machine Learning can be seen in various fields of structural engineering including seismic analysis. This paper focuses on the cross-filed of Machine Learning (ML) and seismic engineering and provides an overview on different ML techniques been used in seismic analysis studies, compare these techniques and their application to study the seismic response of timber structures. The comparison of common supervised ML techniques in this paper are Multi Linear Regression, Regression Tree, Regression Forest, K Nearest Neighbor, Support Vector Regression and
APA, Harvard, Vancouver, ISO, and other styles
2

S, Srivatzen, Kavitha BS, and Sundararajan Asokan. "SU-8 coated etched fiber Bragg grating sensors: A versatile platform for detection of any biomarker using antibody-antigen chemistry." In CLEO: Applications and Technology. Optica Publishing Group, 2024. http://dx.doi.org/10.1364/cleo_at.2024.jtu2a.184.

Full text
Abstract:
Biomarker detection is pivotal in various fields, including healthcare, environmental monitoring, and biotechnology. This work introduces a versatile platform for biomarker detection by utilizing SU-8 negative photoresist coated etched Fiber Bragg Grating (eFBG) sensors in conjunction with antibody-antigen chemistry. The unique combination of FBG sensors and SU-8 coating offers several advantages, including enhanced sensitivity, selectivity, and versatility. In this study, we present the design and fabrication of SU-8 coated FBG sensors optimized for biomarker detection. The SU-8 coating not o
APA, Harvard, Vancouver, ISO, and other styles
3

Vieira, Ronald E., Farzin Darihaki, Jamie Li, and Siamack A. Shirazi. "Application of Machine Learning Techniques for Sand Erosion Prediction for Elbows in Multiphase Flow." In CONFERENCE 2023. AMPP, 2023. https://doi.org/10.5006/c2023-18995.

Full text
Abstract:
Abstract The aim of this work is to define, implement, test, and validate an AI methodology using existing machine learning (ML) algorithms to predict sand erosion in 90° elbows for a broad range of multiphase operating conditions. Based on information obtained from the experimental UT wall thickness loss data collected for different flow regimes (gas-sand, liquid-sand, dispersed-bubble, churn, annular, and low liquid loading multiphase flows), the methodology has been developed to predict the maximum erosion magnitudes in standard metallic elbows. In order to expand the range of application o
APA, Harvard, Vancouver, ISO, and other styles
4

Reppy, John, and Jon Riecke. "Simple objects for Standard ML." In the ACM SIGPLAN 1996 conference. ACM Press, 1996. http://dx.doi.org/10.1145/231379.231412.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Appel, Andrew W., and David B. MacQueen. "Separate compilation for Standard ML." In the ACM SIGPLAN 1994 conference. ACM Press, 1994. http://dx.doi.org/10.1145/178243.178245.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Russo, Claudio V. "Recursive structures for standard ML." In the sixth ACM SIGPLAN international conference. ACM Press, 2001. http://dx.doi.org/10.1145/507635.507644.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

MacQueen, David. "An implementation of standard ML modules." In the 1988 ACM conference. ACM Press, 1988. http://dx.doi.org/10.1145/62678.62704.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Biagioni, Edoardo. "A structured TCP in standard ML." In the conference. ACM Press, 1994. http://dx.doi.org/10.1145/190314.190318.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Scaife, NR, GJ Michaelson, and AM Wallace. "Prototyping Parallel Algorithms using Standard ML." In British Machine Vision Conference 1995. British Machine Vision Association, 1995. http://dx.doi.org/10.5244/c.9.67.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Benton, Nick, Andrew Kennedy, and George Russell. "Compiling standard ML to Java bytecodes." In the third ACM SIGPLAN international conference. ACM Press, 1998. http://dx.doi.org/10.1145/289423.289435.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Standard ML"

1

Hornof, Luke. Compiling Prolog to Standard ML: Some Optimizations. Defense Technical Information Center, 1992. http://dx.doi.org/10.21236/ada256193.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Haines, Nicholas, Edoardo Biagioni, Brian G. Milnes, and Robert Harper. Note on Conditional Compilation in Standard ML. Defense Technical Information Center, 1993. http://dx.doi.org/10.21236/ada267529.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Greiner, John. Standard ML Weak Polymorphism Can Be Sound. Defense Technical Information Center, 1993. http://dx.doi.org/10.21236/ada267839.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Biagioni, Edoardo, Robert Harper, and Peter Lee. Standard ML Signatures for a Protocol Stack. Defense Technical Information Center, 1993. http://dx.doi.org/10.21236/ada272060.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Harper, Robert, Frank Pfenning, Peter Lee, and Eugene Rollins. Incremental Recompilation for Standard ML of New Jersey. Defense Technical Information Center, 1994. http://dx.doi.org/10.21236/ada276522.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Swasey, David, VII Murphy, Crary Tom, Harper Karl, and Robert. A Separate Compilation Extension to Standard ML (Revised and Expanded). Defense Technical Information Center, 2006. http://dx.doi.org/10.21236/ada457137.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Morrisett, J. G., and Andrew Tolmach. A Portable Multiprocessor Interface for Standard ML of New Jersey. Defense Technical Information Center, 1992. http://dx.doi.org/10.21236/ada255639.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Stone, Chris, and Robert Harper. A Type-Theoretic Account of Standard ML 1996 (Version 1). Defense Technical Information Center, 1996. http://dx.doi.org/10.21236/ada309502.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Huang, Jinsheng, Teng Fan, Yuming Rong, et al. Efficacy of Aidi injection combined with chemotherapy, radiotherapyor chemoradiotherapy for unresectable esophageal cancer treatment: A meta-analysis and systematic review of 29 randomized controlled trials. INPLASY - International Platform of Registered Systematic Review and Meta-analysis Protocols, 2022. http://dx.doi.org/10.37766/inplasy2022.9.0020.

Full text
Abstract:
Review question / Objective: In recent years, many articles have shown the significant clinical effects of traditional Chinese medicine for esophageal cancer (EC) treatment. These studies involved Chinese medicine injection, decoction, acupuncture, and moxibustion. Chinese medicine injections, including Aidi injection (Aidi) (Z52020236, China food and Drug Administration; composed of 0.15 g/ml cantharis, 5 g/ml ginseng, 10 g/ml Astragalus and 15 g/ml Eleutherococcus senticosus at a ratio of 0.03:1:2:3. The three plant names have been checked with http://www.theplantlist.org 2022/6/4), Shenqifu
APA, Harvard, Vancouver, ISO, and other styles
10

Clausen, Jay, Vuong Truong, Sophia Bragdon, et al. Buried-object-detection improvements incorporating environmental phenomenology into signature physics. Engineer Research and Development Center (U.S.), 2022. http://dx.doi.org/10.21079/11681/45625.

Full text
Abstract:
The ability to detect buried objects is critical for the Army. Therefore, this report summarizes the fourth year of an ongoing study to assess environ-mental phenomenological conditions affecting probability of detection and false alarm rates for buried-object detection using thermal infrared sensors. This study used several different approaches to identify the predominant environmental variables affecting object detection: (1) multilevel statistical modeling, (2) direct image analysis, (3) physics-based thermal modeling, and (4) application of machine learning (ML) techniques. In addition, th
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Standard ML' for particular source types:
Journal articles Books
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!

To the bibliography