Language peer sets for INFER:
Designed 1992 ↑
1990s languages ↑
INFER(ID:2114/inf001)alternate simple view
Country: United States
a statically-typed dialect of SCHEME.
Infer combined many (but not all) of the best features of SCHEME and ML. Compared with latently-typed languages such as SCHEME, statically-typed language such as ML and Infer, sacrifice some expressive power in exchange for the ability to catch many errors at compile-time, the possibility of more efficient execution, and some system-verified program verification. By supporting all of the forms and primitives procedures of Scheme, with a Scheme-like syntax, it is hoped Infer will prove accessible to Scheme programmers. Efficient compilation of Infer into Scheme is possible, thereby providing compatibility with Scheme programming environments.
Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder