Hi all, I'm currently taking COMP30020 Declarative Programming and COMP30026 Models of Computation (one of my core subjects) together because I've heard that the Haskell portion of Models was poorly taught in previous semesters, so I wanted to … Conversely, the declarative language community is largely uninterested in … Anonymous, Semester 2, 2016 On StuDocu you find all the study guides, past exams and lecture notes for this course Distributed Systems (not always well taught, but the project is good to work on) Software Testing and Reliability is good to know, but Tim Miller likes to set huge amounts of work. Studying COMP90048 Declarative Programming at University of Melbourne? His primary research areas are software reliability and security, program analysis, software verification, and declarative programming languages. At the beginning of the semester, the coordinator will propose a textbook on declarative programming, which will be made available through University Book Shop and library. Modelling Complex Software Systems is interesting, but the half that isn’t about threaded Programming … This subject mainly teaches Haskell programming and Prolog. Contribute to OwenZhu/COMP90048-Declarative-Programming development by creating an account on GitHub. Declarative Programming Subject Notes for Semester 2, 2017. sea r ch bst : : Tree k v−>k−>Maybe v sea r ch bst Leaf =Nothing sea r ch bst (Node k v l r ) sk = i f sk == k then Just v e l s e i f sk