Towards Gradual Typing in Jython Michael M. Vitousek Shashank Bharadwaj Jeremy G. Siek

First Page		Document Content
Date: 2015-04-23 14:36:51 Software engineering Computer programming Computing Object-oriented programming languages Subroutines Data types Functional programming Type theory Parameter Type system Higher-order function Pointer		Towards Gradual Typing in Jython Michael M. Vitousek Shashank Bharadwaj Jeremy G. Siek Add to Reading List Source URL: homes.soic.indiana.edu Download Document from Source Website File Size: 138,96 KB Share Document on Facebook

	A brief introduction to Higher Order Logic and the HOL proof assistant Monica Nesi DocID: 1rjEK - View Document
	Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of DocID: 1rghj - View Document
	02157 Functional Programming - Tagged values and Higher-order list functions DocID: 1rahU - View Document
	Scala By Example June 11, 2014 Martin Odersky DocID: 1r8S2 - View Document
	Nordic Journal of Computing ON INTRODUCING HIGHER ORDER FUNCTIONS IN ABEL BJØRN KRISTOFFERSEN Department of Mathemathics and Informatics DocID: 1qyED - View Document