Eijiro Sumii, Hideo Bannai  Home/Search
Context
Related
| yl.is.s.utokyo.ac.jp/~sumi...vml.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: yl.is.s.utokyo.ac.jp/~sumii/p... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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 non-trivial extension of ML with hypothetical views. (Update)
Similar documents (at the sentence level):
54.8%: VM: A Functional Calculus for Scientific Discovery - Sumii, Bannai (2001) (Correct)
45.1%: The Extension of ML with Hypothetical Views for Discovery.. - Sumii, Bannai (2003) (Correct)
Active bibliography (related documents): More All
0.7: VML: A View Modeling Language for Computational.. - Bannai, Tamada.. (2001) (Correct)
0.2: An Uncaught Exception Analysis for Java - Jo, Chang, Yi, Choe (2002) (Correct)
0.2: A New Approach to Control Flow Analysis - Malacaria, Hankin (1998) (Correct)
Similar documents based on text: More All
0.4: Logical Relations for Encryption - Eijiro Sumii University (2001) (Correct)
0.4: VML: A Class of Virtual Multi-Level Iterative Methods for Solving.. - Zhang (1996) (Correct)
0.3: XML Applications and How They Interact in a Multimedia.. - McKelvey, Lennon.. (Correct)
BibTeX entry: (Update)
@misc{ sumii-vmlambda,
author = "Eijiro Sumii and Hideo Bannai",
title = "VM\Lambda: A Functional Calculus for Scientific Discovery",
url = "citeseer.ist.psu.edu/sumii01vmlambda.html" }
Citations (may not include all citations):206 Why functional programming matters - Hughes - 1989
178 Standard ML of New Jersey - Appel, MacQueen - 1991
138 Type inference for polymorphic references (context) - Tofte - 1990
122 Type-directed partial evaluation - Danvy - 1996
122 Type-directed partial evaluation - Danvy - 1999
75 Applicative functors and fully transparent higher-order modu.. - Leroy - 1995
66 Views: a way for pattern matching to cohabit with data abstr.. - Wadler - 1987
41 Polymorphic type inference and assignment - Leroy, Weis - 1991
31 Names and Higher-Order Functions - Stark - 1994
21 Information and Computation (context) - Talpin, Jouvelot et al. - 1994
21 Logical relations for encryption - Sumii, Pierce - 2001
20 Compile-time detection of uncaught exceptions in Standard ML.. - Yi - 1994
13 The typed polymorphic label-selective lambdacalculus - Garrigue, At-Kaci - 1994
10 ective estimation of uncaught exceptions in SML programs (context) - Yi, Ryu et al. - 2001
10 ective estimation of uncaught exceptions in SML programs (context) - Yi, Ryu et al. - 1997
9 An abstract interpretation for estimating uncaught exception.. (context) - Yi - 1998
9 Type inference with rank 1 polymorphism for typedirected com.. - Ohori, Yoshida - 1999
8 Objective Caml (context) - Leroy
7 Functional programming: An angry half-dozen (context) - Wadler - 1998
6 IEICE Transactions in Information and Systems (context) - Maruyama, Miyano et al. - 2000
6 Designing views in hypothesiscreator: System for assisting i.. (context) - Maruyama, Uchida et al.
6 Journal of Functional Programming (context) - Talpin, Jouvelot et al. - 1992
5 Available at http://www (context) - Russo, Modules et al. - 1998
5 Toward genomic hypothesis creator: View designer for discove.. (context) - Maruyama, Uchida et al.
4 Views: Fundamental building blocks in the process of knowled.. - Bannai, Tamada et al. - 2001
2 significant applications written in Caml (context) - Starynkevitch, users'achievements
1 Label-selective lambda-calculus: Syntax and confluence (context) - At-Kaci, Garrigue - 1993
1 VML - the vector markup language (context) - Mathews, Lee et al.
1 The O'Caml link database (context) - Stolpmann
1 applications written in Haskell (context) - practice
1 Functional programming in the real world (context) - Wadler
Documents on the same site (http://www.yl.is.s.u-tokyo.ac.jp/~sumii/pub/): More
An Implementation of Transparent Migration on Standard Scheme - Sumii (2000) (Correct)
Relating Cryptography and Polymorphism - Pierce, Sumii (2000) (Correct)
Online Type-Directed Partial Evaluation for.. - Sumii, Kobayashi (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC