-
2
-
-
0842266468
-
Universes for generic programs and proofs in dependent type theory
-
Marcin Benke, Peter Dybjer, and Patrik Jansson. Universes for generic programs and proofs in dependent type theory. Nordic Journal of Computing, 10(4):265-289, 2003.
-
(2003)
Nordic Journal of Computing
, vol.10
, Issue.4
, pp. 265-289
-
-
Benke, M.1
Dybjer, P.2
Jansson, P.3
-
3
-
-
33646122583
-
Associated type synonyms
-
New York, NY, USA, ACM
-
Manuel M. T. Chakravarty, Gabriele Keller, and Simon Peyton Jones. Associated type synonyms. In ICFP '05: Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming, pages 241-253, New York, NY, USA, 2005. ACM.
-
(2005)
ICFP '05: Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming
, pp. 241-253
-
-
Manuel, M.1
Chakravarty, T.2
Keller, G.3
Jones, S.P.4
-
4
-
-
67650077370
-
A certified type-preserving compiler from lambda calculus to assembly language
-
New York, NY, USA, ACM
-
Adam Chlipala. A certified type-preserving compiler from lambda calculus to assembly language. In PLDI '07: Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 54-65, New York, NY, USA, 2007. ACM.
-
(2007)
PLDI '07: Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation
, pp. 54-65
-
-
Chlipala, A.1
-
5
-
-
0012619490
-
-
Technical Report UU-CS-2001-2026, Utrecht University
-
Dave Clarke, Ralf Hinze, Johan Jeuring, Andres Löh, and Jan de Wit. The Generic Haskell user's guide. Technical Report UU-CS-2001-2026, Utrecht University, 2001.
-
(2001)
The Generic Haskell User's Guide
-
-
Clarke, D.1
Hinze, R.2
Jeuring, J.3
Löh, A.4
De Wit, J.5
-
6
-
-
63149199548
-
Extensible and modular generics for the masses
-
Henrik Nilsson, editor, April
-
Bruno C. d. S. Oliveira, Ralf Hinze, and Andres Loeh. Extensible and modular generics for the masses. In Henrik Nilsson, editor, Trends in Functional Programming (TFP 2006), April 2007.
-
(2007)
Trends in Functional Programming (TFP 2006)
-
-
Oliveira, B.C.D.S.1
Hinze, R.2
Loeh, A.3
-
10
-
-
33747177082
-
Generics for the masses
-
Ralf Hinze. Generics for the masses. Journal of Functional Programming, 16(4-5):451-483, 2006.
-
(2006)
Journal of Functional Programming
, vol.16
, Issue.4-5
, pp. 451-483
-
-
Hinze, R.1
-
11
-
-
0036568688
-
Polytypic values possess polykinded types
-
MPC Special Issue
-
Ralf Hinze. Polytypic values possess polykinded types. Science of Computer Programming, 43(2-3):129-159, 2002. MPC Special Issue.
-
(2002)
Science of Computer Programming
, vol.43
, Issue.2-3
, pp. 129-159
-
-
Hinze, R.1
-
12
-
-
0142188058
-
Generic Haskell: Practice and theory
-
Roland Backhouse and Jeremy Gibbons, editors, of Lecture Notes in Computer Science Springer-Verlag
-
Ralf Hinze and Johan Jeuring. Generic Haskell: Practice and theory. In Roland Backhouse and Jeremy Gibbons, editors, Generic Programming, Advanced Lectures, volume 2793 of Lecture Notes in Computer Science, pages 1-56. Springer-Verlag, 2003.
-
(2003)
Generic Programming, Advanced Lectures
, vol.2793
, pp. 1-56
-
-
Hinze, R.1
Jeuring, J.2
-
14
-
-
0036059721
-
Faking it: Simulating dependent types in haskell
-
Conor McBride. Faking it: Simulating dependent types in haskell. Journal of Functional Programming, 12(5):375-392, 2002.
-
(2002)
Journal of Functional Programming
, vol.12
, Issue.5
, pp. 375-392
-
-
McBride, C.1
-
17
-
-
77950877484
-
Constructing strictly positive families
-
Darlinghurst, Australia, Australia, Australian Computer Society, Inc.
-
Peter Morris, Thorsten Altenkirch, and Neil Ghani. Constructing strictly positive families. In CATS '07: Proceedings of the Thirteenth Australasian Symposium on Theory of Computing, pages 111-121, Darlinghurst, Australia, Australia, 2007. Australian Computer Society, Inc.
-
(2007)
CATS '07: Proceedings of the Thirteenth Australasian Symposium on Theory of Computing
, pp. 111-121
-
-
Morris, P.1
Altenkirch, T.2
Ghani, N.3
-
19
-
-
70149084051
-
-
PhD thesis, Department of Computer Science and Engineering, Chalmers University of Technology, SE-412 96 Göteborg, Sweden, September
-
Ulf Norell. Towards a practical programming language based on dependent type theory. PhD thesis, Department of Computer Science and Engineering, Chalmers University of Technology, SE-412 96 Göteborg, Sweden, September 2007.
-
(2007)
Towards a Practical Programming Language Based on Dependent Type Theory
-
-
Norell, U.1
-
20
-
-
0037241422
-
The Haskell 98 language and libraries: The revised report
-
Jan
-
Simon Peyton Jones et al. The Haskell 98 language and libraries: The revised report. Journal of Functional Programming, 13(1):0-255, Jan 2003. http://www.haskell.org/definition/.
-
(2003)
Journal of Functional Programming
, vol.13
, Issue.1
, pp. 0-255
-
-
Peyton Jones, S.1
-
21
-
-
34247281139
-
Simple unification-based type inference for GADTs
-
Portland, OR, USA, September
-
Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, and Geoffrey Washburn. Simple unification-based type inference for GADTs. In ICFP '06: Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming, pages 50-61, Portland, OR, USA, September 2006.
-
(2006)
ICFP '06: Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming
, pp. 50-61
-
-
Simon, L.1
Jones, P.2
Vytiniotis, D.3
Weirich, S.4
Washburn, G.5
-
22
-
-
77950804574
-
Generic programming programming in omega
-
Roland Backhouse, Jeremy Gibbons, Ralf Hinze, and Johan Jeuring, editors, of Lecture Notes in Computer Science, Springer
-
Tim Sheard. Generic programming programming in omega. In Roland Backhouse, Jeremy Gibbons, Ralf Hinze, and Johan Jeuring, editors, Datatype-Generic Programming, volume 4719 of Lecture Notes in Computer Science, pages 258-284. Springer, 2006.
-
(2006)
Datatype-Generic Programming
, vol.4719
, pp. 258-284
-
-
Sheard, T.1
-
25
-
-
77957315441
-
The Coq Development Team
-
Version 8.1. LogiCal Project, Available from
-
The Coq Development Team. The Coq Proof Assistant Reference Manual, Version 8.1. LogiCal Project, 2006. Available from http://coq.inria.fr/V8.1beta/ refman/.
-
(2006)
The Coq Proof Assistant Reference Manual
-
-
-
26
-
-
64849100385
-
Polytypic programming in Coq
-
New York, NY, USA, ACM
-
Wendy Verbruggen, Edsko de Vries, and Arthur Hughes. Polytypic programming in Coq. In WGP '08: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, pages 49-60, New York, NY, USA, 2008. ACM.
-
(2008)
WGP '08: Proceedings of the ACM SIGPLAN Workshop on Generic Programming
, pp. 49-60
-
-
Verbruggen, W.1
De Vries, E.2
Hughes, A.3
-
27
-
-
70450176700
-
Polytypic properties and proofs in Coq
-
New York, NY, USA, ACM
-
Wendy Verbruggen, Edsko de Vries, and Arthur Hughes. Polytypic properties and proofs in Coq. In WGP '09: Proceedings of the 2009 ACM SIGPLAN Workshop on Generic Programming, pages 1-12, New York, NY, USA, 2009. ACM.
-
(2009)
WGP '09: Proceedings of the 2009 ACM SIGPLAN Workshop on Generic Programming
, pp. 1-12
-
-
Verbruggen, W.1
De Vries, E.2
Hughes, A.3
-
28
-
-
33750272381
-
Type-safe run-time polytypic programming
-
November
-
Stephanie Weirich. Type-safe run-time polytypic programming. Journal of Functional Programming, 16(10):681-710, November 2006.
-
(2006)
Journal of Functional Programming
, vol.16
, Issue.10
, pp. 681-710
-
-
Weirich, S.1
-
29
-
-
33750972603
-
RepLib: A library for derivable type classes
-
Portland, OR, USA, September
-
Stephanie Weirich. RepLib: A library for derivable type classes. In Haskell Workshop, pages 1-12, Portland, OR, USA, September 2006.
-
(2006)
Haskell Workshop
, pp. 1-12
-
-
Weirich, S.1
|