H ? « »

Language peer sets for FIML:
Designed 1992
1990s languages
Fifth generation
Post-Cold War
Genus Lazy Evaluation FPs
Experimental and other
Lazy Evaluation FPs
Lambda caculus
Lazy Evaluation FPs/1992
Lambda caculus/1992
Lazy Evaluation FPs/Japan
Lambda caculus/Japan
Experimental and other
Experimental and other/1992
Experimental and other/jp


Functional and Imperative ML 

alternate simple view
Country: Japan
Designed 1992
Published: 1993
Genus: Lazy Evaluation FPs
Sammet category: Experimental and other

for Functional and Imperative ML

extension of ML based on the transformation calculus. Its type system is an extension to transformations of that defined in The typed polymorphic selective lambda-calculus.

Related languages
ML FIML   Extension of

  • Transformation calculus and its typing. (1993) Transformation calculus and its typing. Jacques Garrigue. In Proc. of the workshop on Type Theory and its Applications to Computer Systems, pages 34-45. Kyoto University RIMS Lecture Notes 851, August 1993 Abstract
  • Garrigue, Jacques (1994) Garrigue, Jacques "FIML Manual" Online copy
  • Jacques Garrigue and Hassan Aït-Kaci. (1994) Jacques Garrigue and Hassan Aït-Kaci. The typed polymorphic label-selective lambda-calculus. In Proc. ACM Symposium on Principles of Programming Languages, pages 35-47, 1994 Abstract
  • The Transformation Calculus. (1994) The Transformation Calculus. Jacques Garrigue. Technical Report TR 94-09, Department of Information Science, the University of Tokyo, April 1994 Abstract
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder