Ralf Hinze
Orcid: 0000-0001-5678-0286Affiliations:
- University of Oxford, UK
According to our database1,
Ralf Hinze
authored at least 84 papers
between 1992 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
9
10
1
1
1
1
1
4
1
2
1
1
2
3
2
1
2
1
2
4
2
2
1
1
1
1
1
1
4
2
3
5
3
3
7
1
3
3
1
3
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on cs.ox.ac.uk
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
J. Funct. Program., 2023
What's in a Bag?: An "Application Proving Interface" for Finite Bags and its Implementation.
Proceedings of the 35th Symposium on Implementation and Application of Functional Languages, 2023
2022
Proceedings of the Mathematics of Program Construction - 14th International Conference, 2022
2021
Proceedings of the Advancing Research in Information and Communication Technology, 2021
2019
Self-certifying Railroad Diagrams - Or: How to Teach Nondeterministic Finite Automata.
Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019
2018
2017
A Logical Reconstruction of Batcher's Mergers <i>Or: </i> Bitonicity is a Red Herring.
J. Univers. Comput. Sci., 2017
2016
J. Log. Algebraic Methods Program., 2016
Proceedings of the A List of Successes That Can Change the World, 2016
2015
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015
2014
Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014
2013
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013
Proceedings of the 9th ACM SIGPLAN workshop on Generic programming, 2013
Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013
2012
Proceedings of the Mathematics of Program Construction - 11th International Conference, 2012
Proceedings of the 8th ACM SIGPLAN workshop on Generic programming, 2012
2011
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, 2011
Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011
Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011
2010
Proceedings of the Generic and Indexed Programming - International Spring School, 2010
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010
Proceedings of the Implementation and Application of Functional Languages, 2010
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2010
2009
A Reflection-based Proof Tactic for Lattices in Coq.
Proceedings of the Tenth Symposium on Trends in Functional Programming, 2009
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009
Proceedings of the Central European Functional Programming School - Third Summer School, 2009
2008
Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008
Proceedings of the Implementation and Application of Functional Languages, 2008
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008
2006
Proceedings of the Datatype-Generic Programming - International Spring School, 2006
Proceedings of the Datatype-Generic Programming - International Spring School, 2006
Extensible and modular generics for the masses.
Proceedings of the Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, 2006
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006
Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006
Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006
Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006
2005
2004
Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004
2003
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2003
Proceedings of the Generic Programming - Advanced Lectures, 2003
Proceedings of the Generic Programming - Advanced Lectures, 2003
2002
Constructing Tournament Representations: An Exercise in Pointwise Relational Programming.
Proceedings of the Mathematics of Program Construction, 6th International Conference, 2002
Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002
Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, 2002
2001
Polytypic Programming With Ease.
J. Funct. Log. Program., 2001
Int. J. Found. Comput. Sci., 2001
Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001
2000
Proceedings of the 2000 ACM SIGPLAN Workshop on Haskell, 2000
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000
1999
Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999
1998
Prological Features in a Functional Setting Axioms and Implementation.
Proceedings of the Third Fuji International Symposium on Functional and Logic Programming, 1998
1996
Proceedings of the Ausgezeichnete Informatikdissertationen 1996, 1996
1995
PhD thesis, 1995
1994
Deduktive Datenbanken: Eine Einführung aus der Sicht der logischen Programmierung
Vieweg, ISBN: 3-528-04700-3, 1994
1992
Die Rolle der mathematischen Logik in der Künstlichen Intelligenz.
Proceedings of the Künstliche Intelligenz, 1992
Einführung in die funktionale Programmierung mit Miranda.
Teubner, ISBN: 978-3-519-02287-9, 1992