-
1
-
-
0030501721
-
Reference counting as a computational interpretation of linear logic
-
Jawahar Chirimar, Carl A. Gunter, and Jon G. Riecke. Reference counting as a computational interpretation of linear logic. Journal of Functional Programming, 6(2): 195-244, 1996.
-
(1996)
Journal of Functional Programming
, vol.6
, Issue.2
, pp. 195-244
-
-
Chirimar, J.1
Gunter, C.A.2
Riecke, J.G.3
-
2
-
-
0034447889
-
A certifying compiler for Java
-
Vancouver, Canada, June. ACM Press
-
Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, and Kenneth Cline. A certifying compiler for Java. In Proceedings of the Conference on Programming Language Design and Implementation (PLDI'00), pages 95-107, Vancouver, Canada, June 2000. ACM Press.
-
(2000)
Proceedings of the Conference on Programming Language Design and Implementation (PLDI'00)
, pp. 95-107
-
-
Colby, C.1
Lee, P.2
Necula, G.C.3
Blau, F.4
Plesko, M.5
Cline, K.6
-
3
-
-
84887495476
-
Type structure for low-level programming langauges
-
Twenty-Sixth International Colloquium on Automata, Languages, and Programming, Prague, Czech Republic, July Springer-Verlag
-
Karl Crary and Greg Morrisett. Type structure for low-level programming langauges. In Twenty-Sixth International Colloquium on Automata, Languages, and Programming, volume 1644 of Lecture Notes in Computer Science, pages 40-54, Prague, Czech Republic, July 1999. Springer-Verlag.
-
(1999)
Volume 1644 of Lecture Notes in Computer Science
, vol.1644
, pp. 40-54
-
-
Crary, K.1
Morrisett, G.2
-
6
-
-
0005352489
-
-
June
-
T. Jim, G. Morrisett, D. Grossman, M. Hicks, J. Cheney, and Y. Wang. Cyclone: A safe dialect of c, June 2002.
-
(2002)
Cyclone: A Safe Dialect of c
-
-
Jim, T.1
Morrisett, G.2
Grossman, D.3
Hicks, M.4
Cheney, J.5
Wang, Y.6
-
7
-
-
0032664647
-
Quasi-linear types
-
San Antonio, Texas, New York, NY
-
Naoki Kobayashi. Quasi-linear types. In Conference Record of POPL 99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas, pages 29-42, New York, NY, 1999.
-
(1999)
Conference Record of POPL 99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
, pp. 29-42
-
-
Kobayashi, N.1
-
9
-
-
0002642312
-
TALx86: A realistic typed assembly language
-
Atlanta, Georgia, May
-
Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic. TALx86: A realistic typed assembly language. In Second Workshop on Compiler Support for System Software, pages 25-35, Atlanta, Georgia, May 1999.
-
(1999)
Second Workshop on Compiler Support for System Software
, pp. 25-35
-
-
Morrisett, G.1
Crary, K.2
Glew, N.3
Grossman, D.4
Samuels, R.5
Smith, F.6
Walker, D.7
Weirich, S.8
Zdancewic, S.9
-
10
-
-
0011397137
-
Semantics of memory management for polymorphic languages
-
A. Gordon and A. Pitts, editors, Newton Institute, Cambridge University Press
-
Greg Morrisett and Robert Harper. Semantics of memory management for polymorphic languages. In A. Gordon and A. Pitts, editors, Higer Order Operational Techniques in Semantics. Newton Institute, Cambridge University Press, 1997.
-
(1997)
Higer Order Operational Techniques in Semantics
-
-
Morrisett, G.1
Harper, R.2
-
11
-
-
0041525084
-
From system F to typed assembly language
-
Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to typed assembly language. ACM Transactions on Programming Languages and Systems, 21(3):527-568, 1999.
-
(1999)
ACM Transactions on Programming Languages and Systems
, vol.21
, Issue.3
, pp. 527-568
-
-
Morrisett, G.1
Walker, D.2
Crary, K.3
Glew, N.4
-
12
-
-
0031632699
-
The design and implementation of a certifying compiler
-
Keith D. Cooper, editor, Montreal, Canada, June. ACM Press
-
George C. Necula and Peter Lee. The design and implementation of a certifying compiler. In Keith D. Cooper, editor, Proceedings of the Conference on Programming Language Design and Implementation (PLDI'98), pages 333-344, Montreal, Canada, June 1998. ACM Press.
-
(1998)
Proceedings of the Conference on Programming Language Design and Implementation (PLDI'98)
, pp. 333-344
-
-
Necula, G.C.1
Lee, P.2
-
13
-
-
0038180308
-
A type theory for memory allocation and data layout
-
Department of Computer Science, Carnegie Mellon University, December
-
Leaf Petersen, Robert Harper, Karl Crary, and Frank Pfenning. A type theory for memory allocation and data layout. Technical Report CMU-CS-02-171, Department of Computer Science, Carnegie Mellon University, December 2002.
-
(2002)
Technical Report
, vol.CMU-CS-02-171
-
-
Petersen, L.1
Harper, R.2
Crary, K.3
Pfenning, F.4
-
15
-
-
0037505101
-
-
PhD thesis, Carnegie Mellon University, June. Available as Technical Report CMU-CS-01-152
-
Jeff Polakow. Ordered linear logic and applications. PhD thesis, Carnegie Mellon University, June 2001. Available as Technical Report CMU-CS-01-152.
-
(2001)
Ordered Linear Logic and Applications
-
-
Polakow, J.1
-
16
-
-
84949213558
-
Natural deduction for intuitionistic non-commutative linear logic
-
J.-Y. Girard, editor, L'Aquila, Italy, April. Springer-Verlag LNCS 1581
-
Jeff Polakow and Frank Pfenning. Natural deduction for intuitionistic non-commutative linear logic. In J.-Y. Girard, editor, Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications (TLCA'99), pages 295-309, L'Aquila, Italy, April 1999. Springer-Verlag LNCS 1581.
-
(1999)
Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications (TLCA'99)
, pp. 295-309
-
-
Polakow, J.1
Pfenning, F.2
-
17
-
-
0042526776
-
Relating natural deduction and sequent calculus for intuitionistic non-commutative linear logic
-
Andre Scedrov and Achim Jung, editors, New Orleans, Louisiana, April. Electronic Notes in Theoretical Computer Science
-
Jeff Polakow and Frank Pfenning. Relating natural deduction and sequent calculus for intuitionistic non-commutative linear logic. In Andre Scedrov and Achim Jung, editors, Proceedings of the 15th Conference on Mathematical Foundations of Programming Semantics, New Orleans, Louisiana, April 1999. Electronic Notes in Theoretical Computer Science, Volume 20.
-
(1999)
Proceedings of the 15th Conference on Mathematical Foundations of Programming Semantics
, vol.20
-
-
Polakow, J.1
Pfenning, F.2
-
18
-
-
0038519107
-
Properties of terms in continuation-passing style in an ordered logical framework
-
J. Despeyroux, editor, Santa Barbara, California, June
-
Jeff Polakow and Frank Pfenning. Properties of terms in continuation-passing style in an ordered logical framework. In J.Despeyroux, editor, Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications (TLCA'99), Santa Barbara, California, June 2000.
-
(2000)
Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications (TLCA'99)
-
-
Polakow, J.1
Pfenning, F.2
-
19
-
-
0011488529
-
An overview of the FLINT/ML compiler
-
Amsterdam, June. ACM SIGPLAN. Published as Boston College Computer Science Department Technical Report BCCS-97-03
-
Zhong Shao. An overview of the FLINT/ML compiler. In 1997 Workshop on Types in Compilation, Amsterdam, June 1997. ACM SIGPLAN. Published as Boston College Computer Science Department Technical Report BCCS-97-03.
-
(1997)
1997 Workshop on Types in Compilation
-
-
Shao, Z.1
-
21
-
-
17144396747
-
TIL: A type-directed optimizing compiler for ML
-
Philadelphia, PA, May
-
David Tarditi, Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, and Peter Lee. TIL: A type-directed optimizing compiler for ML. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 181-192, Philadelphia, PA, May 1996.
-
(1996)
ACM SIGPLAN Conference on Programming Language Design and Implementation
, pp. 181-192
-
-
Tarditi, D.1
Morrisett, G.2
Cheng, P.3
Stone, C.4
Harper, R.5
Lee, P.6
-
22
-
-
0011918338
-
Operational interpretations of linear logic
-
David N. Turner and Philip Wadler. Operational interpretations of linear logic. Theoretical Computer Science, 227(1-2):231-248, 1999.
-
(1999)
Theoretical Computer Science
, vol.227
, Issue.1-2
, pp. 231-248
-
-
Turner, D.N.1
Wadler, P.2
-
23
-
-
0031643965
-
Eliminating array bound checking through dependent types
-
Keith D. Cooper, editor, Montreal, Canada, June. ACM Press
-
Hongwei Xi and Frank Pfenning. Eliminating array bound checking through dependent types. In Keith D. Cooper, editor, Proceedings of the Conference on Programming Language Design and Implementation (PLDI'98), pages 249-257, Montreal, Canada, June 1998. ACM Press.
-
(1998)
Proceedings of the Conference on Programming Language Design and Implementation (PLDI'98)
, pp. 249-257
-
-
Xi, H.1
Pfenning, F.2
|