BibSonomy :: author  ::

bookmarks

publications

(22)

• A functional view of upper bounds on codes
  Alexander Barg and Dmitry Yu. Nogin CoRR abs/0809.0091 (2008)
  to dblp by dblp on 2008-10-02 00:00:00
  | URL | BibTeX  
• A computational approach to reflective meta-reasoning about languages with bindings.
  Aleksey Nogin and Alexei Kopylov and Xin Yu and Jason Hickey MERLIN 2-12 (2005)
  to dblp by dblp on 2008-04-23 00:00:00
  | URL | BibTeX  
• A bound on Grassmannian codes
  Alexander Barg and Dmitry Yu. Nogin CoRR abs/cs/0512024 (2005)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Spectral approach to linear programming bounds on codes
  Alexander Barg and Dmitry Yu. Nogin CoRR abs/cs/0512025 (2005)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Practical Reflection for Sequent Logics.
  Jason Hickey and Aleksey Nogin and Xin Yu and Alexei Kopylov Electr. Notes Theor. Comput. Sci. 174 79-94 (2007)
  to dblp by dblp on 2007-06-01 00:00:00
  | URL | BibTeX  
• Formalizing Type Operations Using the "Image" Type Constructor.
  Aleksey Nogin and Alexei Kopylov Electr. Notes Theor. Comput. Sci. 165 121-132 (2006)
  to dblp by dblp on 2007-02-12 00:00:00
  | URL | BibTeX  
• Formal compiler construction in a logical framework.
  Jason Hickey and Aleksey Nogin Higher-Order and Symbolic Computation 19 197-230 (2006)
  to dblp by dblp on 2007-02-08 00:00:00
  | URL | BibTeX  
• A bound on Grassmannian codes.
  Alexander Barg and Dmitry Yu. Nogin J. Comb. Theory, Ser. A 113 1629-1635 (2006)
  to dblp by dblp on 2007-01-23 00:00:00
  | URL | BibTeX  
• Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection.
  Jason Hickey and Aleksey Nogin and Xin Yu and Alexei Kopylov ICFP 172-183 (2006)
  to dblp by dblp on 2006-09-27 00:00:00
  | URL | BibTeX  
• A Mechanism for Sequential Consistency in a Distributed Objects System.
  Cristian Tapus and Aleksey Nogin and Jason Hickey and Jerome White ISCA PDCS 284-289 (2004)
  to dblp by dblp on 2006-09-08 00:00:00
  | URL | BibTeX