Programming in FISh

International Journal on Software Tools for Technology Transfer

Volumn 2, Issue 3, 1999, Pages 307-315

  Jay, C Barry ^a  

^a UNIVERSITY OF TECHNOLOGY SYDNEY   (Australia)

Author keywords

Data independence; Polymorphism; Program optimisation; Shape; Shape error detection

Indexed keywords

DATA INDEPENDENCE; OPTIMISATIONS; SHAPE;

INFORMATION SYSTEMS; POLYMORPHISM; SOFTWARE ENGINEERING;

FISH;

EID: 84896693162     PISSN: 14332779     EISSN: 14332787     Source Type: Journal    
DOI: 10.1007/s100090050037     Document Type: Article

References (17)

1. Augustsson, L., et al.: Report on the functional programming language Haskell: version 1. 4. Technical report, University of Glasgow, 1997.
2. Fishweb-site. http://www-staff. socs. uts. edu. au/~cbj/FISh.
3. Harper, R., Morrisett, G.: Compiling polymorphism using intensional type analysis. In Conference Record of POPL '95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 130-141, San Francisco, California, January 1995.
4. Jay, C. B.: A semantics for shape. Science of Computer Programming 25: 251-283, 1995.
5. Jay, C. B.: Costing parallel programs as a function of shapes. Invited submission to Science of Computer Programming, September 1998.
6. Jay, C. B.: The FISh language definition. 1998, http://www-staff. socs. uts. edu. au/~cbj/Publications/-fishdef. ps. gz.
7. Jay, C. B.: Poly-dimensional array programming. August 1998, http://www-staff. socs. uts. edu. au/~cbj/Publications/-polydimensional2. ps. gz.
8. Jay, C. B.: Denotational semantics of shape: Past, present and future. In: Scedrov, A., Jung, A. (eds.): Fifteenth Conference on the Mathematical Foundations of Programming Semantics (MFPS XV) Tulane University New Orleans, LA USA April 28-May 1, 1999: Proceedings, Vol. 20 of Electronic Notes in Computer Science, Elsevier, 1999, pp. 197-210.
9. Jay, C. B.: Partial evaluation of shaped programs: experience with FISh. In: Danvey, O. (ed.): ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '99) San Antonio, Texas, January 22-23, 1999: Proceedings, pp. 147-158. BRICS, 1999.
10. Jay, C. B., Bellè, G., Moggi, E.: Functorial ML. Journal of Functional Programming 8(6): 573-619, 1998.
11. Jay, C. B., Cockett, J. R. B.: Shapely types and shape polymorphism. In: Sannella, D. (ed.): Programming Languages and Systems-ESOP '94: 5th European Symposium on Programming, Edinburgh, U. K., April 1994 1994, Proceedings, LNCS, Berlin, Heidelberg, New York: Springer-Verlag, 1994, pp. 302-316.
12. Jansson, P., Jeuring, J.: PolyP-a polytypic programming language extension. In: POPL '97: The 24th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages. ACM Press, 1997, pp. 470-482.
13. Jay, C. B., Steckler, P. A.: The functional imperative: shape! In: Hankin, C. (ed.): Programming languages and systems: 7th European Symposium on Programming, ESOP'98 Held as part of the joint european conferences on theory and practice of software, ETAPS'98 Lisbon, Portugal, March/April 1998. LNCS 1381. Berlin, Heidelberg, New York: Springer-Verlag, 1998, pp. 139-53.
14. Leroy, X.: The effectiveness of type-based unboxing. In: Abstracts from the 1997 Workshop on Types in Compilation (TIC97). Boston College Computer Science Department, June 1997.
15. Meertens, L.: Calculate polytypically! In: Kuchen, H., Swierstra, S. D. (eds.): Programming Languages: Implementations, Logics, and Programs: 8th International Symposium, PLILP'96, Proceedings. LNCS 1140. Berlin, Heidelberg, New York: Springer-Verlag, 1996.
16. Milner, R., Tofte, M.: Commentary on Standard ML. MIT Press, 1991.
17. Tofte, M., Talpin, J.-P.: Implementation of the typed call-byvalue μ-calculus using a stack of regions. In: Conf. Record of POPL '94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. January 1994, pp. 188-201.