Printer Friendly
Dictionary, Encyclopedia and Thesaurus - The Free Dictionary
3,898,439,168 visitors served.
forum Join the Word of the Day Mailing List For webmasters
?
Dictionary/
thesaurus
Medical
dictionary
Legal
dictionary
Financial
dictionary
Acronyms
 
Idioms
Encyclopedia
Wikipedia
encyclopedia
?

Extended ML
(redirected from Extended ML (programming language))

    Also found in: Wikipedia 0.01 sec.
Extended ML - A language by Don Sannella of the University of Edinburgh combining algebraic specification and functional programming.

["Program Specification and Development in Standard ML", D. Sannella et al, 12th POPL, ACM 1985].
Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.
?Page tools
Printer friendly
Cite / link 		Feedback
Mentioned in?   Encyclopedia browser?   Full browser?
No references found
 
 
Extended mean-value theorem
extended meaning
Extended Medical Degree Programme
Extended Megaco Package
Extended memory
Extended memory
Extended Memory 64 Technology
Extended Memory Architecture
Extended Memory Area
Extended Memory Block
Extended Memory Interconnect
Extended Memory Management
extended memory manager
extended memory manager
Extended Memory Specification
Extended Memory Specification
Extended Memory Specification
Extended Memory System
Extended Mental Status Questionnaire
eXtended Messaging Application Program Interface
Extended Messaging Application Programming Interface
Extended Messaging Services Application Programming Interface
eXtended Metropolitan Area Network
Extended Middle Cranial Fossa
Extended Miller-Chang Bound
Extended Min-Sum
Extended Minimum-Degree Spanning Tree
Extended ML
Extended ML (programming language)
Extended ML programming language
Extended Mobility Technology
Extended Module
Extended Money Laundering
Extended Money Value
Extended Monthly Evacuation Allowance
Extended Multi Player
Extended Multi-Configuration Quasi-Degenerate Perturbation Theory
Extended Multiple-Training Least Mean Squares
Extended Multiport Network Method
eXtended Multiprocessor Operating System
Extended Multiprocessor System Software
Extended Nambu-Jona-Lasinio
extended narrow tomography
extended narrow tomography
extended narrow tomography
Extended Narrowing and Resolution
Extended Navy Testbed
Extended Negative Factor Counting
Extended Negotiation Procedure
Extended Network
Extended Network File System
Extended Network Manager
Extended Network Time Protocol
extended nuclear family
Extended Objective Measure of Ego Identity Status
 
Encyclopedia
?

Terms of Use | Privacy policy | Feedback | Advertise with Us | Copyright © 2012 Farlex, Inc.
Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.