E-mail icon E-mail courses Print icon Print course(s)
 

as of 6/20/2019

DECLARATIVE PROGRAMMING
Country - Partner Institution - Programs: Australia - University of Melbourne - 'Australian Universities'
UC Course SubjectComputer Science
Number & Suffix: 109
Full UC Title: DECLARATIVE PROGRAMMING 
Transcript Title: DECLARTIVE PROGRMNG 
UC QTR Units - Division: 6.0 - Upper Division 
Course Description: Declarative programming languages provide elegant and powerful programming paradigms and techniques that every programmer should know. This course presents declarative programming languages and techniques. Indicative content: the dangers of destructive update; functional programming; recursion; strong type systems; parametric polymorphism; algebraic types; type classes; defensive programming practice; higher order programming; currying and partial application; lazy evaluation; monads; logic programming; unification and resolution; nondeterminism, search, and backtracking. 
Language of Instruction: English
 
Partner Title: DECLARATIVE PROGRAMMING 
Partner University Department: Computer Science 
Partner University Course Number: COMP30020