Matches in SemOpenAlex for { <https://semopenalex.org/work/W185049830> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W185049830 abstract "We present VMλ, a formalization and implementation of the functional language VML. VML is a programming language proposed by discovery scientists for the purpose of assisting the process of knowledge discovery. It is a nontrivial extension of ML with hypothetical views. Operationally, a hypothetical view is a value with a representation that indicates how the value was created. The notion of hypothetical views has already been successful in the domain of genome analysis, and known to be useful in the process of knowledge discovery. However, VML as a programming language was only informally defined in English prose, and indeed found problematic both in theory and in practice. Thus, a proper definition and implementation of VML with formal foundations would be of great help to discovery science and hence corresponding domain sciences. This paper gives a solid foundation of VML by extending the standard simply typed call-by-value λ-calculus. Although this extension, VMλ, is simple and clear, its design required much care to find and fix problems of the original VML. We also present a real implementation of VMλ, written in Camlp4 as a conservative translator into OCaml. This implementation makes extensive use of labeled arguments and polymorphic variants – two advanced features of OCaml that originate in OLabl." @default.
- W185049830 created "2016-06-24" @default.
- W185049830 creator A5011046118 @default.
- W185049830 creator A5048931630 @default.
- W185049830 date "2003-01-01" @default.
- W185049830 modified "2023-10-03" @default.
- W185049830 title "The Extension of ML with Hypothetical Views for Discovery Science: Formalization and Implementation." @default.
- W185049830 cites W1485983645 @default.
- W185049830 cites W1515542356 @default.
- W185049830 cites W1533458689 @default.
- W185049830 cites W1535216022 @default.
- W185049830 cites W1539622965 @default.
- W185049830 cites W1692016514 @default.
- W185049830 cites W1786340849 @default.
- W185049830 cites W1833440862 @default.
- W185049830 cites W1977878511 @default.
- W185049830 cites W2004639282 @default.
- W185049830 cites W2014731953 @default.
- W185049830 cites W2035663056 @default.
- W185049830 cites W2038605297 @default.
- W185049830 cites W2049313161 @default.
- W185049830 cites W2051910176 @default.
- W185049830 cites W2072162091 @default.
- W185049830 cites W2089241138 @default.
- W185049830 cites W2114980032 @default.
- W185049830 cites W2117987251 @default.
- W185049830 cites W2121038016 @default.
- W185049830 cites W2121993468 @default.
- W185049830 cites W2126787737 @default.
- W185049830 cites W2143920642 @default.
- W185049830 cites W2152458080 @default.
- W185049830 cites W2161246822 @default.
- W185049830 cites W2161567720 @default.
- W185049830 cites W2166051945 @default.
- W185049830 cites W2167017930 @default.
- W185049830 cites W2167075594 @default.
- W185049830 cites W71545189 @default.
- W185049830 hasPublicationYear "2003" @default.
- W185049830 type Work @default.
- W185049830 sameAs 185049830 @default.
- W185049830 citedByCount "0" @default.
- W185049830 crossrefType "journal-article" @default.
- W185049830 hasAuthorship W185049830A5011046118 @default.
- W185049830 hasAuthorship W185049830A5048931630 @default.
- W185049830 hasConcept C119857082 @default.
- W185049830 hasConcept C134306372 @default.
- W185049830 hasConcept C17744445 @default.
- W185049830 hasConcept C199360897 @default.
- W185049830 hasConcept C199539241 @default.
- W185049830 hasConcept C2776291640 @default.
- W185049830 hasConcept C2776359362 @default.
- W185049830 hasConcept C2778029271 @default.
- W185049830 hasConcept C33923547 @default.
- W185049830 hasConcept C36503486 @default.
- W185049830 hasConcept C41008148 @default.
- W185049830 hasConcept C42383842 @default.
- W185049830 hasConcept C94625758 @default.
- W185049830 hasConcept C98045186 @default.
- W185049830 hasConceptScore W185049830C119857082 @default.
- W185049830 hasConceptScore W185049830C134306372 @default.
- W185049830 hasConceptScore W185049830C17744445 @default.
- W185049830 hasConceptScore W185049830C199360897 @default.
- W185049830 hasConceptScore W185049830C199539241 @default.
- W185049830 hasConceptScore W185049830C2776291640 @default.
- W185049830 hasConceptScore W185049830C2776359362 @default.
- W185049830 hasConceptScore W185049830C2778029271 @default.
- W185049830 hasConceptScore W185049830C33923547 @default.
- W185049830 hasConceptScore W185049830C36503486 @default.
- W185049830 hasConceptScore W185049830C41008148 @default.
- W185049830 hasConceptScore W185049830C42383842 @default.
- W185049830 hasConceptScore W185049830C94625758 @default.
- W185049830 hasConceptScore W185049830C98045186 @default.
- W185049830 hasLocation W1850498301 @default.
- W185049830 hasOpenAccess W185049830 @default.
- W185049830 hasPrimaryLocation W1850498301 @default.
- W185049830 hasRelatedWork W1483751145 @default.
- W185049830 hasRelatedWork W1553638691 @default.
- W185049830 hasRelatedWork W1578243924 @default.
- W185049830 hasRelatedWork W1616197360 @default.
- W185049830 hasRelatedWork W1997128357 @default.
- W185049830 hasRelatedWork W2073661645 @default.
- W185049830 hasRelatedWork W2145162376 @default.
- W185049830 hasRelatedWork W2157080214 @default.
- W185049830 hasRelatedWork W2159369421 @default.
- W185049830 hasRelatedWork W2188538320 @default.
- W185049830 hasRelatedWork W2626045669 @default.
- W185049830 hasRelatedWork W2898544893 @default.
- W185049830 hasRelatedWork W2901069154 @default.
- W185049830 hasRelatedWork W3008982746 @default.
- W185049830 hasRelatedWork W3028561472 @default.
- W185049830 hasRelatedWork W3099675781 @default.
- W185049830 hasRelatedWork W3104229214 @default.
- W185049830 hasRelatedWork W3109447602 @default.
- W185049830 hasRelatedWork W3165637584 @default.
- W185049830 hasRelatedWork W58591715 @default.
- W185049830 hasVolume "2003" @default.
- W185049830 isParatext "false" @default.
- W185049830 isRetracted "false" @default.
- W185049830 magId "185049830" @default.
- W185049830 workType "article" @default.