John David Ratliff's Online Resume Site

[ Home | Résumé | Portfolio ]

Java Type Checker


This is a type-checker for Java written in Objective Caml, an ML-like language. It performs much of the same tasks as the Java compiler before compiling a program. The type checker is how the compiler knows the program is valid Java.



All Rights Reserved.

Download (54 KB)


E-Mail Me

Copyright © 2004-2012 John David Ratliff
All Rights Reserved

Get Firefox!    Valid HTML 4.01!    Made with jEdit