Oxford University

or Find Staff here

Results for University of Oxford

Results 1 - 10 of 17 for msfp .

Sort by date, Sort by relevance.


1. Department of Computer Science, University of Oxford: External roles

List of external roles at the Department of Computer Science at the heart of computing and related interdisciplinary activity at Oxford.

www.cs.ox.ac.uk/people/roles/Jeremy.Gibbons/index.html- 31k - Cached

2. Misha Yagudin - Future of Humanity Institute

In the past, he interned at vk.com, attended MSFP, did EA community building in Russia, gave out HPMoRs at math olympiad, did a lot of math olympiads himself, and coached

www.fhi.ox.ac.uk/team/mishayagudin/- 28k - 16 Nov 2020 - Cached

3. Department of Computer Science: Datatype-Generic Programming: Publications

ac.uk/jeremy.gibbons/publications/iterator-msfp.pdf", }. @inproceedings{Gibbons2005:DesignECOOP, title = "Design Patterns as Higher-Order Datatype-Generic Programs", author = "Jeremy Gibbons", year = "2005", address = "Glasgow", booktitle =

www.cs.ox.ac.uk/projects/publications/bibtex/dgp.html- 30k - Cached

4. https://www.cs.ox.ac.uk/andrzej.murawski/papers/atva19.pdf

SMT solving for functional programming over infinitestructures. Proc. of MSFP, EPTCS 207, 57–75, 2016.

www.cs.ox.ac.uk/andrzej.murawski/papers/atva19.pdf- 322k - 26 Jul 2019 - Cached

5. Department of Computer Science: Algebra of Programming: Publications

ox.ac.uk/jeremy.gibbons/publications/iterator-msfp.pdf", }. @inproceedings{Gibbons2006:Fission, title = "Fission for Program Comprehension", author = "Jeremy Gibbons", year = "2006", booktitle = "Mathematics of Program Construction", editor = "Tarmo

www.cs.ox.ac.uk/activities/publications/bibtex/algprog.html- 113k - Cached

6. Department of Computer Science, University of Oxford: Bruno Oliveira : Publications

Oliveira2008:Essence}", url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/iterator-msfp.pdf", }. @inproceedings{HLO06Gen, title = "Generics as a Library", author = "Oliveira, Bruno C.

www.cs.ox.ac.uk/people/publications/bibtex/Bruno.Oliveira.html- 29k - Cached

7. Sam Staton

5th Conference on Algebra and Coalgebra in Computer Science (CALCO 2013); 21st Conference on Computer Science Logic (CSL 2012), 4th Workshop on Mathematically Structured Functional Programming (MSFP 2012); 11th International Workshop

www.cs.ox.ac.uk/people/samuel.staton/main.html- 40k - Cached

8. Bartek Klin - publications

Bartek Klin. Publications. B. Klin, S. Lasota, S. Toruńczyk: Nondeterministic and co-nondeterministic implies deterministic, for data languages. To appear in the proceedings ofM. Bojańczyk, B. Klin: A non-regular language of infinite trees that is

www.cs.ox.ac.uk/people/bartek.klin/publications.html- 34k - Cached

9. https://www.cs.ox.ac.uk/people/samuel.staton/papers/freyd-lawvere-2014.pdf

297–311. [5] Asada, K., Arrows are strong monads, in: Proc. MSFP 2010, 2010, pp. ... MSFP 2008, Electr. Notes Theor. Comput.Sci. 229, 2011, pp. 19–37. [7] Berger, C., P.-A.

www.cs.ox.ac.uk/people/samuel.staton/papers/freyd-lawvere-2014.pdf- 310k - 13 Dec 2013 - Cached

10. Department of Computer Science, University of Oxford: Jeremy Gibbons : Publications

Publications, by bibtex, Department of Computer Science, Oxford, Jeremy Gibbons

www.cs.ox.ac.uk/people/publications/bibtex/Jeremy.Gibbons.html- 97k - Cached

Result Page

1 , 2 , Next .

Related searches for msfp

Enquiries to Webmaster | Powered by Funnelback Search