Gradual

Results: 533



#Item
51Software engineering / Computer programming / Computing / Data types / Object / Functional programming / Immutable object / Reference / Objective-C / Pointer / Immutable interface

Design and Evaluation of Gradual Typing for Python Michael M. Vitousek, Andrew M. Kent, Jeremy G. Siek, and Jim Baker* Indiana University Bloomington *Rackspace, Inc

Add to Reading List

Source URL: homes.soic.indiana.edu

Language: English - Date: 2015-04-23 14:36:49
52Theoretical computer science / Mathematics / Mathematical logic / Logic in computer science / Models of computation / Lambda calculus / Computability theory / Valuation / Denotational semantics / Combinatory logic / Holomorphic functional calculus

The key to blame: Gradual typing meets cryptography Jeremy Siek Philip Wadler Indiana University, USA

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2016-07-07 08:33:11
53Business / Economy / Labor in the Philippines / Professional studies / Economy of the Philippines / Department of Labor and Employment / United States Department of Labor / Minimum wage / Philippine Overseas Employment Administration / Industrial relations / Labor rights / Overseas Filipinos

DOLE Timelines Planning Service, date posted 30 January 2013 December 8, 1933: The Department of Labor (DOL) was established by Act. Noand went into gradual operation 1935:

Add to Reading List

Source URL: dole.gov.ph

Language: English - Date: 2013-02-04 00:24:30
54Education / Educational psychology / Formative assessment / Educational technology / Differentiated instruction / Gradual release of responsibility

NSTRUCTIONAL LEADER INSTRUCTIONAL LEADER INSTRUCTIONAL LEADER Getting to Quality: A Meeting of the Minds

Add to Reading List

Source URL: fisherandfrey.com

Language: English - Date: 2014-10-25 14:22:20
55Software engineering / Computing / Computer programming / Type theory / Data types / Object-oriented programming languages / Scripting languages / Object-oriented programming / Gradual typing / Type system / Type safety / ActionScript

Gradual Typing with Efficient Object Casts Michael M. Vitousek Department of Computer Science, University of Colorado at Boulder Space-efficiency in gradually-typed objects Gradual object structure

Add to Reading List

Source URL: homes.soic.indiana.edu

Language: English - Date: 2015-04-23 14:36:49
56Education / Reading / Learning / Cognition / Pedagogy / Learning to read / Educational psychology / Applied linguistics / Gradual release of responsibility / Metacognition / Adolescent literacy / Reading comprehension

Fisher and Frey | What Does It Take to Create Skilled Readers? Douglas

Add to Reading List

Source URL: fisherandfrey.com

Language: English - Date: 2014-10-25 14:22:20
57Education / Education reform / Home / Homework / Standards-based education / Pedagogy / Period / Gradual release of responsibility / TPR Storytelling

Journal of Adolescent & Adult LiteracySeptember 2011 doi:JAAL © 2011 International Reading Association (pp. 71–74)

Add to Reading List

Source URL: fisherandfrey.com

Language: English - Date: 2014-10-25 14:22:19
58Control flow / Program analysis

The Gradual Verifier Stephan Arlt1? , Cindy Rubio-Gonz´alez2 , Philipp R¨ ummer3?? , Martin Sch¨af4 , 4? ? ? and Natarajan Shankar 1

Add to Reading List

Source URL: www.csl.sri.com

Language: English - Date: 2014-02-10 21:42:15
59Software engineering / Computing / Computer programming / Data types / Type theory / Subroutines / Functional programming / Lambda calculus / Type system / Gradual typing / Anonymous function / Type safety

Design and Evaluation of Gradual Typing for Python Michael M. Vitousek Andrew M. Kent Jeremy G. Siek Jim Baker Rackspace Inc.

Add to Reading List

Source URL: homes.soic.indiana.edu

Language: English - Date: 2015-04-23 14:36:51
60Education / Learning / Pedagogy / Educational psychology / Learning to read / Educational practices / Gradual release of responsibility / Teaching / Reading comprehension / Differentiated instruction / Educational technology / English-language learner

AprilC u rr i c u l u m &Instruction Special points of interest:

Add to Reading List

Source URL: www.cabrillo.k12.ca.us

Language: English - Date: 2016-04-07 19:17:32
UPDATE