2362 search results - page 93 / 473 » Programming in Standard ML |
112
Voted
SEDE
2007
15 years 5 months ago
2007
Math search is a new area of research with many enabling technologies but also many challenges. Some of the enabling technologies include XML, XPath, XQuery, and MathML. Some of t...
155
Voted
SCM
2003
15 years 5 months ago
2003
Individual organisations as well as industry consortia are currently defining application and domain-specific languages using the eXtended Markup Language (XML) standard of the W...
162
Voted
TPCD
1994
15 years 4 months ago
1994
Theorem proving techniques are particularly well suited for reasoning about arithmetic above the bit level and for relating di erent f abstraction. In this paper we show how a non-...
115
Voted
SIGPLAN
1998
15 years 3 months ago
1998
HardwareLimitedandHarlequinbothmarket commercialMLcompilers,eachbootstrappedinML. Insomecorners,functionallanguagesbearareputationforgrossinefficiency,butthisreputationisoutof dat...
120
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: In the last decade, biochemical studies have revealed that epigenetic modifications including histone modifications, histone variants and DNA methylation form a comple...