A Foreign Language Interface from ML to Shell

@article{Ueno2016AFL,
  title={A Foreign Language Interface from ML to Shell},
  author={Katsuhiro Ueno and Atsushi Ohori},
  journal={New Generation Computing},
  year={2016},
  volume={34},
  pages={239-256}
}
This paper proposes a new approach to embedding shell scripts in an ML-style typed functional language. Instead of representing each construct in the shell script language as a typed component, the proposed approach treats an untyped shell script program as a typed function. The programmer writes a shell script and specifies its type according to the intention of his/her script. The ML compiler automatically generates glue codes that serialize and de-serialize input and output data. With this… CONTINUE READING
1
Twitter Mention

References

Publications referenced by this paper.
SHOWING 1-10 OF 14 REFERENCES

He is an assistant professor at Research Institute of Electrical Communication, Tohoku University. He received his Doctor of Philosophy (Information Sciences) from Tohoku University

Katsuhiro Ueno
  • 2009

The CamlTk interface,

F. Pessaux, F. Rouaix
  • Technical report, INRIA Rocquencourt,
  • 1996

He worked at Oki Electric Industry, Co

Pennsylvania in
  • Ltd. (1981–1993), Research Institute for Mathematical Sciences, Kyoto University (1993–2000), and School of Information Science, Japan Advanced Institute of Science and Technology (2000–2005) before he moved to Tohoku University in 2005. He is interested
  • 1989
VIEW 1 EXCERPT

Implementation of an FP-Shell

  • IEEE Transactions on Software Engineering
  • 1987