search for: calculi

...e.) Is anyone on this list familiar with System F, System F_sub, or System F^\omega_sub? They comprise the basic, standard theories of parametric polymorphism used in the academic world, and have been around for about 20 years. You can obviously get more sophisticated, but the System-F series of calculi have the advantage that they are simple, well-known, off-the-shelf solutions. Pick one, plug it into llvm, and you have a type system that can compete with the JVM or .NET in terms of functionality, without being OOP centric or sacrificing language neutrality. (System F is low-level -- OOP can be...

attempt interstitial stilt whatley damn subterranean bacilli frolic calculi wouldn't advantage academe