no help available
no help available
authorThe blue social bookmark and publication sharing system.
bookmarks
- tags
- dblp
- imported
- reception
- SATELLITES;
- aesthetics
- priorität:2
- film,
- WAVES;
- REACTIONS;
- {\"A}sthetische
- MAGNETOSPHERE
- PLASMA;
- typed-assembly-language
- INFRARED
- Kunstbetrachtung,
- art
- new-media
- ICY
- IONS
- CYCLOTRON
- ltp
- ENCELADUS
- 1800-1900
- ICE;
- CHARGED-PARTICLES;
- Geschichte
- INNER
- ABSTRACTION
- MAGNETOSPHERE;
- Wahrnehmung,
- CHEMISTRY;
- stack-machine
- WATER
- ENERGETIC
- E-RING;
- ELECTRON-IMPACT
- ATOM
- TAL
- IONIZATION;
- SATURNS
- OBSERVATIONS;
- GAS-PHASE
- art,
- DYNAMICS;
- No matching items.
- Christopher Colby, Karl Crary, Robert Harper, Peter Lee 0001, and Frank Pfenning. Theor. Comput. Sci. 290(2):1175-1199 (2003)Christopher Colby, Karl Crary, Robert Harper, Peter Lee 0001, and Frank Pfenning. Theor. Comput. Sci. 290(2):1175-1199 (2003)5 months and 14 days agoby dblp1
- Pedram Mohseni, Karthik Nagarajan, Babak Ziaie, Khalil Najafi, and Selden B. Crary. IEEE Trans. Biomed. Engineering 48(6):734-737 (2001)Pedram Mohseni, Karthik Nagarajan, Babak Ziaie, Khalil Najafi, and Selden B. Crary. IEEE Trans. Biomed. Engineering 48(6):734-737 (2001)6 months and 18 days agoby dblp1
- Shivashankar Halan, Brent Rossen, Michael Crary, and Benjamin Lok. CHI Extended Abstracts, page 2387-2392. ACM, (2012)Shivashankar Halan, Brent Rossen, Michael Crary, and Benjamin Lok. CHI Extended Abstracts, page 2387-2392. ACM, (2012)11 months agoby dblp1
- Karl Crary, Robert Harper, and Sidd Puri. PLDI, page 50-63. ACM, (1999)Karl Crary, Robert Harper, and Sidd Puri. PLDI, page 50-63. ACM, (1999)a year agoby dblp1
- Derek Dreyer, Karl Crary, and Robert Harper. POPL, page 236-249. ACM, (2003)Derek Dreyer, Karl Crary, and Robert Harper. POPL, page 236-249. ACM, (2003)a year agoby dblp1
- Leaf Petersen, Robert Harper, Karl Crary, and Frank Pfenning. POPL, page 172-184. ACM, (2003)Leaf Petersen, Robert Harper, Karl Crary, and Frank Pfenning. POPL, page 172-184. ACM, (2003)a year agoby dblp1
- Karl Crary. POPL, page 198-212. ACM, (2003)Karl Crary. POPL, page 198-212. ACM, (2003)a year agoby dblp1
- Karl Crary, David Walker, and J. Gregory Morrisett. POPL, page 262-275. ACM, (1999)Karl Crary, David Walker, and J. Gregory Morrisett. POPL, page 262-275. ACM, (1999)a year agoby dblp1
- Karl Crary, and Stephanie Weirich. POPL, page 184-198. ACM, (2000)Karl Crary, and Stephanie Weirich. POPL, page 184-198. ACM, (2000)a year agoby dblp1
- J. Gregory Morrisett, David Walker, Karl Crary, and Neal Glew. POPL, page 85-97. ACM, (1998)J. Gregory Morrisett, David Walker, Karl Crary, and Neal Glew. POPL, page 85-97. ACM, (1998)a year agoby dblp1
- Karl Crary. ICFP, page 68-81. ACM, (2000)Karl Crary. ICFP, page 68-81. ACM, (2000)a year and 2 months agoby dblp1
- Karl Crary, Stephanie Weirich, and J. Gregory Morrisett. ICFP, page 301-312. ACM, (1998)Karl Crary, Stephanie Weirich, and J. Gregory Morrisett. ICFP, page 301-312. ACM, (1998)a year and 2 months agoby dblp1
- Karl Crary. ICFP, page 125-135. ACM, (1997)Karl Crary. ICFP, page 125-135. ACM, (1997)a year and 2 months agoby dblp1
- Karl Crary, and Joseph Vanderwaart. ICFP, page 191-205. ACM, (2002)Karl Crary, and Joseph Vanderwaart. ICFP, page 191-205. ACM, (2002)a year and 2 months agoby dblp1
- Karl Crary. ICFP, page 82-89. ACM, (1999)Karl Crary. ICFP, page 82-89. ACM, (1999)a year and 2 months agoby dblp1
- Karl Crary, and Stephanie Weirich. ICFP, page 233-248. ACM, (1999)Karl Crary, and Stephanie Weirich. ICFP, page 233-248. ACM, (1999)a year and 2 months agoby dblp1
- Karl Crary. LFMTP, page 21-29. ACM, (2009)Karl Crary. LFMTP, page 21-29. ACM, (2009)a year and 2 months agoby dblp1
- Karl Crary, and Robert Harper. CoRR (2006)Karl Crary, and Robert Harper. CoRR (2006)a year and 5 months agoby dblp1
- Karl Crary, and Susmit Sarkar. CADE, volume 2741 of Lecture Notes in Computer Science, page 106-120. Springer, (2003)Karl Crary, and Susmit Sarkar. CADE, volume 2741 of Lecture Notes in Computer Science, page 106-120. Springer, (2003)a year and 10 months agoby dblp1
- Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Robert Harper, Jason Liszka, Tom Murphy VII, and Frank Pfenning. GRID, volume 2536 of Lecture Notes in Computer Science, page 112-125. Springer, (2002)Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Robert Harper, Jason Liszka, Tom Murphy VII, and Frank Pfenning. GRID, volume 2536 of Lecture Notes in Computer Science, page 112-125. Springer, (2002)a year and 10 months agoby dblp1
- Karl Crary. Types in Compilation, volume 2071 of Lecture Notes in Computer Science, page 1-26. Springer, (2000)Karl Crary. Types in Compilation, volume 2071 of Lecture Notes in Computer Science, page 1-26. Springer, (2000)a year and 11 months agoby dblp1
- Michael W. Hicks, Stephanie Weirich, and Karl Crary. Types in Compilation, volume 2071 of Lecture Notes in Computer Science, page 147-176. Springer, (2000)Michael W. Hicks, Stephanie Weirich, and Karl Crary. Types in Compilation, volume 2071 of Lecture Notes in Computer Science, page 147-176. Springer, (2000)a year and 11 months agoby dblp1
- Joseph Vanderwaart, and Karl Crary. Electr. Notes Theor. Comput. Sci. 70(2):11-28 (2002)Joseph Vanderwaart, and Karl Crary. Electr. Notes Theor. Comput. Sci. 70(2):11-28 (2002)a year and 11 months agoby dblp1
- J. Gregory Morrisett, Karl Crary, Neal Glew, and David Walker. Types in Compilation, volume 1473 of Lecture Notes in Computer Science, page 28-52. Springer, (1998)J. Gregory Morrisett, Karl Crary, Neal Glew, and David Walker. Types in Compilation, volume 1473 of Lecture Notes in Computer Science, page 28-52. Springer, (1998)a year and 11 months agoby dblp1
- Guy E. Blelloch, Hal Burch, Karl Crary, Robert Harper, Gary L. Miller, and Noel Walkington. J. Funct. Program. 11(5):441-466 (2001)Guy E. Blelloch, Hal Burch, Karl Crary, Robert Harper, Gary L. Miller, and Noel Walkington. J. Funct. Program. 11(5):441-466 (2001)a year and 11 months agoby dblp1
- J. Gregory Morrisett, Karl Crary, Neal Glew, and David Walker. J. Funct. Program. 12(1):3-88 (2002)J. Gregory Morrisett, Karl Crary, Neal Glew, and David Walker. J. Funct. Program. 12(1):3-88 (2002)a year and 11 months agoby dblp1
- Michael Crary, Linda K. Nozick, and L. R. Whitaker. European Journal of Operational Research 136(3):680-695 (2002)Michael Crary, Linda K. Nozick, and L. R. Whitaker. European Journal of Operational Research 136(3):680-695 (2002)2 years and 7 months agoby dblp1
- Greg Morrisett, David Walker, Karl Crary, and Neal Glew. Twenty-Fifth ACM Symposium on Principles of Programming Languages, San Diego, CA, (January 1998)Greg Morrisett, David Walker, Karl Crary, and Neal Glew. Twenty-Fifth ACM Symposium on Principles of Programming Languages, San Diego, CA, (January 1998)2 years and 7 months agoby liangzk1
- Karl Crary. ICFP, page 131-142. ACM, (2010)Karl Crary. ICFP, page 131-142. ACM, (2010)2 years and 7 months agoby dblp1
- Daniel K. Lee, Karl Crary, and Robert Harper. POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, page 173-184. New York, NY, USA, ACM Press, (2007)Daniel K. Lee, Karl Crary, and Robert Harper. POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, page 173-184. New York, NY, USA, ACM Press, (2007)2 years and 9 months ago2
- Karl Crary. ACM Trans. Comput. Logic 8(2):8 (2007)Karl Crary. ACM Trans. Comput. Logic 8(2):8 (2007)2 years and 9 months ago2
- Daniel K. Lee, Karl Crary, and Robert Harper. (2006)Daniel K. Lee, Karl Crary, and Robert Harper. (2006)2 years and 9 months ago1
- E. C. Sittler, R. E. Johnson, S. Jurac, J. D. Richardson, M. McGrath, F. Crary, D. T. Young, and J. E. Nordholt. Journal of Geophysical Research-SPACE PHYSICS 109(A1):A01214 (2004)E. C. Sittler, R. E. Johnson, S. Jurac, J. D. Richardson, M. McGrath, F. Crary, D. T. Young, and J. E. Nordholt. Journal of Geophysical Research-SPACE PHYSICS 109(A1):A01214 (2004)3 years and 7 months agoby svance1
- E. C. Sittler, M. Thomsen, D. Chornay, M. D. Shappirio, D. Simpson, R. E. Johnson, H. T. Smith, A. J. Coates, A. M. Rymer, F. Crary, D. J. McComas, D. T. Young, D. Reisenfeld, M. Dougherty, and N. Andre. Geophysical Research Letters 32(14):L14S07 (2005)E. C. Sittler, M. Thomsen, D. Chornay, M. D. Shappirio, D. Simpson, R. E. Johnson, H. T. Smith, A. J. Coates, A. M. Rymer, F. Crary, D. J. McComas, D. T. Young, D. Reisenfeld, M. Dougherty, and N. Andre. Geophysical Research Letters 32(14):L14S07 (2005)3 years and 7 months agoby svance1
- H. T. Smith, M. Shappirio, E. C. Sittler, D. Reisenfeld, R. E. Johnson, R. A. Baragiola, F. J. Crary, D. J. McComas, and D. T. Young. Geophysical Research Letters 32(14):L14S03 (2005)H. T. Smith, M. Shappirio, E. C. Sittler, D. Reisenfeld, R. E. Johnson, R. A. Baragiola, F. J. Crary, D. J. McComas, and D. T. Young. Geophysical Research Letters 32(14):L14S03 (2005)3 years and 7 months agoby svance1
- Karl Crary, and J. Gregory Morrisett. ICALP, volume 1644 of Lecture Notes in Computer Science, page 40-54. Springer, (1999)Karl Crary, and J. Gregory Morrisett. ICALP, volume 1644 of Lecture Notes in Computer Science, page 40-54. Springer, (1999)3 years and 8 months agoby dblp1
- Gregory J. Morrisett, Karl Crary, Neal Glew, and David Walker. TIC '98: Proceedings of the Second International Workshop on Types in Compilation, page 28--52. (1998)Gregory J. Morrisett, Karl Crary, Neal Glew, and David Walker. TIC '98: Proceedings of the Second International Workshop on Types in Compilation, page 28--52. (1998)4 years and 4 months agoby gron1
- Karl Crary. Electr. Notes Theor. Comput. Sci. (2009)Karl Crary. Electr. Notes Theor. Comput. Sci. (2009)4 years and 4 months agoby dblp1
- D. S. F. Ling, L. S. Benardo, P. A. Serrano, N. Blace, M. T. Kelly, J. F. Crary, and T. C. Sacktor. Nature Neuroscience (2002)D. S. F. Ling, L. S. Benardo, P. A. Serrano, N. Blace, M. T. Kelly, J. F. Crary, and T. C. Sacktor. Nature Neuroscience (2002)4 years and 8 months agoby brian.mingus1
- Jonathan Crary. The MIT Press, (October 2001)Jonathan Crary. The MIT Press, (October 2001)4 years and 9 months ago1
- Karl Crary, and Susmit Sarkar. ACM Trans. Comput. Log. (2008)Karl Crary, and Susmit Sarkar. ACM Trans. Comput. Log. (2008)5 years agoby dblp1
- Karl Crary, and Robert Harper. SIGACT News 37(3):93-96 (2006)Karl Crary, and Robert Harper. SIGACT News 37(3):93-96 (2006)5 years and a month agoby dblp1
- Tom Murphy VII, Karl Crary, and Robert Harper. TGC, volume 4912 of Lecture Notes in Computer Science, page 108-123. Springer, (2007)Tom Murphy VII, Karl Crary, and Robert Harper. TGC, volume 4912 of Lecture Notes in Computer Science, page 108-123. Springer, (2007)5 years and 2 months agoby dblp1
- David Swasey, Tom Murphy VII, Karl Crary, and Robert Harper. ML, page 32-42. ACM, (2006)David Swasey, Tom Murphy VII, Karl Crary, and Robert Harper. ML, page 32-42. ACM, (2006)5 years and 7 months agoby dblp1
- Karl Crary. ACM Trans. Comput. Log. (2007)Karl Crary. ACM Trans. Comput. Log. (2007)5 years and 7 months agoby dblp2
- Karl Crary, and Robert Harper. Electr. Notes Theor. Comput. Sci. (2007)Karl Crary, and Robert Harper. Electr. Notes Theor. Comput. Sci. (2007)6 years and a month agoby dblp1
- Daniel K. Lee, Karl Crary, and Robert Harper. POPL, page 173-184. ACM, (2007)Daniel K. Lee, Karl Crary, and Robert Harper. POPL, page 173-184. ACM, (2007)6 years and 5 months agoby dblp2
- Jonathan Crary. Verl. d. Kunst, Dresden u.a., (1996)Sehen und Moderne im 19. Jahrhundert.Jonathan Crary. Verl. d. Kunst, Dresden u.a., (1996)Sehen und Moderne im 19. Jahrhundert.6 years and 6 months agoby mewi1
- Jonathan Crary. An October Book MIT Press, Ninth edition, (1999)Jonathan Crary. An October Book MIT Press, Ninth edition, (1999)6 years and 11 months agoby hanappe1
- Fred D. Crary. ACM Trans. Math. Softw. 5(2):204-217 (1979)Fred D. Crary. ACM Trans. Math. Softw. 5(2):204-217 (1979)7 years agoby dblp1
- Joseph Vanderwaart, and Karl Crary. TLDI, page 79-90. ACM, (2005)Joseph Vanderwaart, and Karl Crary. TLDI, page 79-90. ACM, (2005)7 years agoby dblp1
- Joseph Vanderwaart, and Karl Crary. TLDI, page 109-122. ACM, (2003)Joseph Vanderwaart, and Karl Crary. TLDI, page 109-122. ACM, (2003)7 years agoby dblp1
- Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper, and Perry Cheng. TLDI, page 98-108. ACM, (2003)Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper, and Perry Cheng. TLDI, page 98-108. ACM, (2003)7 years agoby dblp1
- Sue Newell, Susan Adams, Marcy Crary, Priscilla Glidden, Vicki LaFarge, and Aaron Nurick. HICSS, IEEE Computer Society, (2006)Sue Newell, Susan Adams, Marcy Crary, Priscilla Glidden, Vicki LaFarge, and Aaron Nurick. HICSS, IEEE Computer Society, (2006)7 years agoby dblp1
- Sue Newell, Susan Adams, Marcy Crary, Priscilla Glidden, Vicki LaFarge, and Aaron Nurick. HICSS, IEEE Computer Society, (2005)Sue Newell, Susan Adams, Marcy Crary, Priscilla Glidden, Vicki LaFarge, and Aaron Nurick. HICSS, IEEE Computer Society, (2005)7 years agoby dblp1
- Susmit Sarkar, Brigitte Pientka, and Karl Crary. ICLP, volume 3668 of Lecture Notes in Computer Science, page 387-401. Springer, (2005)Susmit Sarkar, Brigitte Pientka, and Karl Crary. ICLP, volume 3668 of Lecture Notes in Computer Science, page 387-401. Springer, (2005)7 years agoby dblp1
- Tom Murphy VII, Karl Crary, and Robert Harper. CSL, volume 3634 of Lecture Notes in Computer Science, page 51-69. Springer, (2005)Tom Murphy VII, Karl Crary, and Robert Harper. CSL, volume 3634 of Lecture Notes in Computer Science, page 51-69. Springer, (2005)7 years agoby dblp1
- Tom Murphy VII, Karl Crary, Robert Harper, and Frank Pfenning. LICS, page 286-295. IEEE Computer Society, (2004)Tom Murphy VII, Karl Crary, Robert Harper, and Frank Pfenning. LICS, page 286-295. IEEE Computer Society, (2004)7 years agoby dblp1
- Karl Crary, Aleksey Kliger, and Frank Pfenning. J. Funct. Program. 15(2):249-291 (2005)Karl Crary, Aleksey Kliger, and Frank Pfenning. J. Funct. Program. 15(2):249-291 (2005)8 years agoby dblp1
- Karl Crary, Stephanie Weirich, and J. Gregory Morrisett. J. Funct. Program. 12(6):567-600 (2002)Karl Crary, Stephanie Weirich, and J. Gregory Morrisett. J. Funct. Program. 12(6):567-600 (2002)9 years agoby dblp1
- J. Gregory Morrisett, Karl Crary, Neal Glew, and David Walker. J. Funct. Program. 13(5):957-959 (2003)J. Gregory Morrisett, Karl Crary, Neal Glew, and David Walker. J. Funct. Program. 13(5):957-959 (2003)9 years agoby dblp1
- J. Gregory Morrisett, David Walker, Karl Crary, and Neal Glew. ACM Trans. Program. Lang. Syst. 21(3):527-568 (1999)J. Gregory Morrisett, David Walker, Karl Crary, and Neal Glew. ACM Trans. Program. Lang. Syst. 21(3):527-568 (1999)9 years agoby dblp1
- David Walker, Karl Crary, and J. Gregory Morrisett. ACM Trans. Program. Lang. Syst. 22(4):701-771 (2000)David Walker, Karl Crary, and J. Gregory Morrisett. ACM Trans. Program. Lang. Syst. 22(4):701-771 (2000)9 years agoby dblp1
- Karl Crary. PROCOMET, volume 125 of IFIP Conference Proceedings, page 107-125. Chapman & Hall, (1998)Karl Crary. PROCOMET, volume 125 of IFIP Conference Proceedings, page 107-125. Chapman & Hall, (1998)10 years agoby dblp1
- Karl Crary. CADE, volume 1421 of Lecture Notes in Computer Science, page 270-285. Springer, (1998)Karl Crary. CADE, volume 1421 of Lecture Notes in Computer Science, page 270-285. Springer, (1998)11 years agoby dblp1