Stoughton, Allen - Department of Computing and Information Sciences, Kansas State University

• Equationally Fully Abstract Models of PCF 1 Allen Stoughton
• Infinite Pretty-printing in eXene Allen Stoughton
• Parallel PCF has a Unique Extensional Model \Lambda Allen Stoughton
• An Operational Semantics Framework Supporting the Incremental Construction of Derivation Trees \Lambda
• Fully Abstract Models of Programming Languages \Lambda
• Mechanizing Logical Relations \Lambda Allen Stoughton y
• Studying the Fully Abstract Model of PCF within its Continuous Function Model 1
• Porgi: a ProofOrRefutation Generator for Intuitionistic propositional logic \Lambda
• Interdefinability of Parallel Operations in PCF 1 Allen Stoughton
• Substitution Revisited 1 Allen Stoughton
• CIS 570 --Introduction to Formal Language Theory --Fall 2007 Exercise Set 5
• CIS 570 --Introduction to Formal Language Theory --Fall 2008 Exercise Set 6
• CIS 705 --Programming Languages --Spring 2010 Assignment 1 (100 Points)
• CIS 570 --Introduction to Formal Language Theory --Fall 2008 Exercise Set 1
• CIS 570 --Introduction to Formal Language Theory --Fall 2007 Exercise Set 4
• On the Nature and Amelioration of Gender Dysphoria
• CIS 570 --Introduction to Formal Language Theory --Fall 2007 Exercise Set 2
• CIS 570 --Introduction to Formal Language Theory --Fall 2007 Exercise Set 1
• CIS 570 --Introduction to Formal Language Theory --Fall 2007 Exercise Set 1
• CIS 705 --Programming Languages --Spring 2010 Assignment 5
• Programming in Standard ML (WORKING DRAFT OF DECEMBER 9, 2002.)
• Gender Dysphoria Alley Stoughton
• CIS 705 --Programming Languages --Spring 2010 Assignment 6
• CIS 705 --Programming Languages --Spring 2010 Assignment 6
• CIS 705 --Programming Languages --Spring 2009 Assignment 3
• CIS 705 --Programming Languages --Spring 2009 Assignment 1
• CIS 705 --Programming Languages --Spring 2010 Instructor Alley Stoughton
• Twelf User's Guide Version 1.4
• CIS 705 --Programming Languages --Spring 2010 Assignment 1 (100 Points)
• CIS 570 --Introduction to Formal Language Theory --Fall 2008 Exercise Set 2
• CIS 705 --Programming Languages --Spring 2010 Assignment 4
• CIS 570 --Introduction to Formal Language Theory --Fall 2008 Exercise Set 4
• CIS 570 --Introduction to Formal Language Theory --Fall 2008 Exercise Set 6
• CIS 705 --Programming Languages --Spring 2010 Assignment 1
• CIS 570 --Introduction to Formal Language Theory --Fall 2008 Exercise Set 5
• CIS 570--Introduction to Formal Language Theory--Fall 2008
• CIS 705 --Programming Languages --Spring 2009 Assignment 6
• CIS 570 --Introduction to Formal Language Theory --Fall 2007 Exercise Set 4
• Gender Dysphoria from a Non-binary Perspective Alley Stoughton
• Kripke: a Countermodel Checker for Intuitionistic Propositional Logic
• The SML/NJ Compilation and Library Manager (for SML/NJ version 110.40 and later)
• The eXene Library Manual (Version 0.4)
• The eXene Widgets Manual (Version 0.4)
• Programming in Standard ML (WORKING DRAFT OF AUGUST 29, 2002.)
• Gender Dysphoria from a Non-binary Perspective Alley Stoughton
• CIS 705 --Programming Languages --Spring 2010 Assignment 5
• Free Software/Open Source Alley Stoughton
• CIS 705 --Programming Languages --Spring 2010 Assignment 3
• On the Future of eXene Dustin deBoer and Alley Stoughton1
• CIS 705 --Programming Languages --Spring 2009 Assignment 4
• CIS 570 --Introduction to Formal Language Theory --Fall 2008 Exercise Set 1
• CIS 705 --Programming Languages --Spring 2009 Assignment 5
• ENHANCEMENTS TO EXENE an X windowing toolkit for Standard ML
• CIS 705 --Programming Languages --Spring 2010 Assignment 3
• CIS 570 --Introduction to Formal Language Theory --Fall 2008 Exercise Set 4
• CIS 570 --Introduction to Formal Language Theory --Fall 2008 Exercise Set 3
• REVITALIZING EXENE Matthew Hoag
• Free Software/Open Source Alley Stoughton
• CIS 570 --Introduction to Formal Language Theory --Fall 2007 Exercise Set 2
• CIS 570 --Introduction to Formal Language Theory --Fall 2008 Exercise Set 5
• Gender Dysphoria Alley Stoughton
• CIS 705 --Programming Languages --Spring 2009 Assignment 6
• CIS 705 --Programming Languages --Spring 2010 Assignment 4
• CIS 705 --Programming Languages --Spring 2009 Assignment 4
• Balanced Sublists 1 Understanding the Balanced Function
• CIS 570 --Introduction to Formal Language Theory --Fall 2008 Exercise Set 3
• CIS 705 --Programming Languages --Spring 2009 Assignment 2
• Gender Dysphoria from a Non-binary Perspective: Understanding and Ameliorating the Transgender
• CIS 570 --Introduction to Formal Language Theory --Fall 2007 Exercise Set 6
• CIS 705 --Programming Languages --Spring 2009 Assignment 1 (100 Points)
• CIS 705 --Programming Languages --Spring 2010 Assignment 2
• Inter-Client Communication Conventions Manual Version 2.0
• A Multi-threaded Higher-order User Interface Toolkit
• CIS 705 --Programming Languages --Spring 2009 Assignment 3
• CIS 705 --Programming Languages --Spring 2009 Assignment 5
• CIS 570 --Introduction to Formal Language Theory --Fall 2007 Exercise Set 6
• CIS 570 --Introduction to Formal Language Theory --Fall 2007 Exercise Set 5
• CIS 570 --Introduction to Formal Language Theory --Fall 2007 Exercise Set 3
• X Window System Protocol X Consortium Standard
• Fully Abstract Models of Programming Languages
• Porgi: a Proof-Or-Refutation Generator for Intuitionistic propositional logic
• Substitution Revisited1 Allen Stoughton
• Equationally Fully Abstract Models of PCF 1 Allen Stoughton
• Mechanizing Logical Relations Allen Stoughtony
• An Operational Semantics Framework Supporting the Incremental Construction of Derivation Trees
• Interde nability of Parallel Operations in PCF 1 Allen Stoughton
• Parallel PCF has a Unique Extensional Model Allen Stoughton
• Studying the Fully Abstract Model of PCF within its Continuous Function Model 1