Generics

Download

generics@haskell.org

November 2012

3 participants
2 discussions

University Lectureship in Computer Science (Software Engineering) at Oxford
by Jeremy.Gibbons＠cs.ox.ac.uk 28 Nov '12

28 Nov '12

University of Oxford Department of Computer Science in association with Kellogg College, Oxford UNIVERSITY LECTURER IN COMPUTER SCIENCE (SOFTWARE ENGINEERING) The Department of Computer Science proposes to appoint a University Lecturer in Computer Science from 1st March 2013 and no later than 1st October 2013. The successful candidate will be offered a Non-Tutorial Fellowship at Kellogg College under arrangements described in Further Particulars. The salary will be on a scale currently up to £57,581 per annum. Applicants should hold a relevant PhD and have experience in any area which broadens the activities of the Software Engineering Programme (http://www.softeng.ox.ac.uk/) Full details of the qualifications required and the duties of the post can be found in the Further Particulars (http://www.cs.ox.ac.uk/files/5161/SEP_UL_FPs.pdf) The closing date for applications is Thursday 27th December, 2012. Queries about the post should be addressed in the first instance to Elizabeth Walsh at elizabeth.walsh(a)cs.ox.ac.uk or telephone: +44 (0) 1865 283503. Applications are particularly welcome from women and black and minority ethnic candidates, who are under-represented in academic posts in Oxford. The University is an Equal Opportunities Employer.

1 0

adding meta-operators to guarded-rewriting
by Nicolas Frisby 02 Nov '12

02 Nov '12

I brainstormed a bit about adding meta-operators to guarded-rewriting last night. Are any of the package's authors/maintainers interested in discussing these ideas further? If so — who would it be appropriate to chat with? Thanks.

2 2