H ? « ‹ ← → › »

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

FIML(ID:6256/)

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.

People:
Related languages
ML → FIML   Extension of
References:
  • 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
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder