L. Augustsson. Cayenne --- a language with dependent types. In ACM International Conference on Functional Programming, pages 239--250, Baltimore, Sept. 1999. ACM Press. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
An Effective Theory of Type Refinements - Mandelbaum, Walker, Harper (2003) (9 citations) (Correct)
No context found.
L. Augustsson. Cayenne --- a language with dependent types. In ACM International Conference on Functional Programming, pages 239--250, Baltimore, Sept. 1999. ACM Press.
Dependent Types in Practical Programming (Extended Abstract) - Xi, Pfenning (1999) (Correct)
No context found.
Augustsson, L. (1998). Cayenne -- a language with dependent types. In Proceedings of ACM SIGPLAN International Conference on Functional Programming, pp. 239--250.
Combining Two Forms of Type Refinements - Dunfield (2002) (Correct)
No context found.
Lennart Augustsson. Cayenne---a language with dependent types. In Proc. Int'l Conf. Functional Programming, pages 239--250, 1998.
An Effective Theory of Type Refinements - Mandelbaum, Walker, Harper (2002) (9 citations) (Correct)
No context found.
Leonart Augustsson. Cayenne --- a language with dependent types. In ACM International Conference on Functional Programming, pages 239--250, Baltimore, September 1999. ACM Press.
Thesis Proposal: - Unifying Principles Of (Correct)
No context found.
Lennart Augustsson. Cayenne---a language with dependent types. In Int'l Conf. Functional Programming, pages 239--250, 1998.
A Formulation of Dependent ML with Explicit Equality Proofs - Licata, Harper (2005) (Correct)
No context found.
L. Augustsson. Cayenne - a language with dependent types. In International Conference on Functional Programming, 1998.
A Formulation of Dependent ML with Explicit Equality Proofs - Licata, Harper (2005) (Correct)
No context found.
L. Augustsson. Cayenne - a language with dependent types. In International Conference on Functional Programming, 1998.
Dependently Typed Pattern Matching - Hongwei Xi Computer (2003) (1 citation) (Correct)
No context found.
Augustsson, L. (1998). Cayenne -- a language with dependent types. In Proceedings of the 3rd ACM SIGPLAN International Conference on Functional Programming, pages 239--250, Baltimore.
Dependently Typed Pattern Matching - Xi (2003) (1 citation) (Correct)
No context found.
Augustsson, L. (1998). Cayenne -- a language with dependent types. In Proceedings of the 3rd ACM SIGPLAN International Conference on Functional Programming, Baltimore, pp. 239--250.
Improving the Static Analysis of Embedded Languages via.. - Herman, Meunier (2004) (Correct)
No context found.
L. Augustsson. Cayenne---a language with dependent types. In Proceedings of the third ACM SIGPLAN international conference on Functional programming, pages 239--250. ACM Press, 1998.
Wobbly Types: Type Inference for Generalised Algebraic Data .. - Jones, Washburn, Weirich (2004) (5 citations) (Correct)
No context found.
Lennart Augustsson. Cayenne --- a language with dependent types. In ACM SIGPLAN International Conference on Functional Programming (ICFP'98), volume 34(1) of ACM SIGPLAN Notices, pages 239--250, Baltimore, 1998. ACM.
Imperative LF Meta-Programming - Stump (2004) (Correct)
No context found.
Lennart Augustsson. Cayenne -- a language with dependent types. In Proceedings of the third ACM SIGPLAN international conference on Functional programming, pages 239--250. ACM Press, 1998.
Universes for Generic Programs and Proofs in Dependent Type .. - Benke, Dybjer, Jansson (2003) (1 citation) (Correct)
No context found.
L. Augustsson. Cayenne --- a language with dependent types. In Proc. ICFP'98. ACM Press, September 1998.
Unknown - Like The Previous (Correct)
No context found.
Lennart Augustsson. Cayenne - a Language with Dependent Types. In Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), pages 239--250, USA, 1998. ISBN 0-58113-024-4.
Patterns in Datatype-Generic Programming - Gibbons (2003) (1 citation) (Correct)
No context found.
Lennart Augustsson. Cayenne: A language with dependent types. SIGPLAN Notices, 34(1):239--250, 1999.
A Generic Version of scanf Programmed in C5 - Cabezas (Correct)
No context found.
Lennart Augustsson. Cayenne - a Language with Dependent Types. In Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), pages 239--250, USA, 1998. ISBN 0-58113024 -4.
Facilitating Program Verification with Dependent Types - Xi (Correct)
No context found.
L. Augustsson. Cayenne -- a language with dependent types. In Proceedings of the 3rd ACM SIGPLAN International Conference on Functional Programming, pages 239--250, Baltimore, 1998.
Implementing Typeful Program Transformations - Chen, Xi (2003) (2 citations) (Correct)
No context found.
L. Augustsson. Cayenne -- a language with dependent types. In Proceedings of the 3rd ACM SIGPLAN International Conference on Functional Programming, pages 239--250, Baltimore, 1998.
Combinators for Layered Software Architectures - Schrage, Jeuring, Swierstra (2002) (Correct)
No context found.
L. Augustsson. Cayenne - a language with dependent types. Proceedings of the ICFP '98, ACM SIGPLAN Notices, 34(1). 1999, pp. 239-50.
An Effective Theory of Type Refinements - Mandelbaum, Walker, Harper (2003) (9 citations) (Correct)
No context found.
L. Augustsson. Cayenne --- a language with dependent types. In ACM International Conference on Functional Programming, pages 239--250, Baltimore, Sept. 1999. ACM Press.
An Effective Theory of Type Refinements - Mandelbaum, Walker, Harper (2002) (9 citations) (Correct)
No context found.
L. Augustsson. Cayenne --- a language with dependent types. In ACM International Conference on Functional Programming, pages 239--250, Baltimore, Sept. 1999. ACM Press.
Generic Haskell: Practice and Theory - Hinze, Jeuring (2003) (2 citations) (Correct)
No context found.
Lennart Augustsson. Cayenne -- a language with dependent types. SIGPLAN Notices, 34(1):239--250, January 1999.
A Logical Framework with Dependently Typed Records - Coquand, Pollack, Takeyama (Correct)
No context found.
Lennart Augustsson. Cayenne -- a language with dependent types. In ICFP '98, volume 34(1) of SIGPLAN Notices, pages 239--250. AC , June 1999.
Generic Haskell: Practice and Theory - Hinze, Jeuring (2003) (3 citations) (Correct)
No context found.
Lennart Augustsson. Cayenne -- a language with dependent types. SIGPLAN Notices, 34(1):239--250, January 1999.
Monads for Incremental Computing - Functional Pearl - Carlsson (2002) (Correct)
No context found.
L. Augustsson. Cayenne --- a language with dependent types. In Proc. of the International Conference on Functional Programming (ICFP'98). ACM Press, September 1998.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC