Home on Michael Homer

Combinations of structural and nominal object typing in systems such as Scala, Whiteoak, and Unity have focused on extending existing nominal, class-based systems with structural subtyping.

Students seeking enrolment into the bachelor of engineering at Victoria University of Wellington are required to gain a B average across their first year engineering papers in order to gain entry into second year.

“Jigsaw puzzle” programming environments manipulate programs primarily by drag-and-drop.

Programming languages are enormously diverse, both in their essential concepts and in their accidental aspects.

“Jigsaw puzzle” programming environments manipulate programs primarily by drag-and-drop.

We are engaged in the design of Grace, a new object-oriented open source programming language aimed at instructors and students in introductory programming courses.

Grace is a gradually typed, object-oriented language for use in education.

Many programming language constructs that support software engineering in the large — explicit variable declarations, explicit external dependencies, static types, information hiding, invariants — provide little benefit to the small programs written by no…

Grace is a new object-oriented language that supports a variety of approaches to teaching programming.

Object orientation and pattern matching are often seen as conflicting approaches to program design.

We are engaged in the design of a small, simple programming language for teaching novices object-oriented programming.

Grace is a new object-oriented programming language aimed at education.