[E-Lang] ERTP-aware MintMaker

Jonathan S. Shapiro shap@cs.jhu.edu
Wed, 14 Feb 2001 21:23:35 -0500


"Mark S. Miller" wrote:
> Those things that C
> and Java folks call integers aren't.

Group (i.e. modular) arithmetic is just as formally well-founded as
integer arithmetic. You'll notice that the C folks *didn't* call it
"integer"...


Jonathan