Follow

Submissions from 2021

PDF

Evaluating Grasping Visualizations and Control Modes in a VR Game, Alex Adkins, Lorraine Lin, Aline Normoyle, Ryan Canales, Yuting Ye, and Sophie Jörg

PDF

An authoring tool to provide group and crowd animation using Natural Language scripts, Guido Mainardi, Aline Normoyle, Vinícius Cassol, Norman Badler, and Soraia Raupp Musse

Submissions from 2020

PDF

A survey on Recognizing Textual Entailment as an NLP Evaluation, Adam Poliak

Submissions from 2019

PDF

nbgrader: A Tool for Creating and Grading Assignments in the Jupyter Notebook, Douglas S. Blank, Project Jupyter, David Bourgin, Alexander Brown, Matthias Bussonnier, Jonathan Frederic, Brian Granger, Thomas L. Griffiths, Jessica Hamrick, Kyle Kelley, M Pacer, Logan Page, Fernando Pérez, Benjamin Ragan-Kelley, Jordan W. Suchow, and Carol Willing

Submissions from 2018

PDF

Type Variables in Patterns, Richard A. Eisenberg, Joachim Breitner, and Simon Peyton Jones

PDF

The Thoralf Plugin: For Your Fancy Type Needs, Divesh Otwani and Richard A. Eisenberg

PDF

Collecting Diverse Natural Language Inference Problems for Sentence Representation Evaluation, Adam Poliak, Aparajita Haldar, Rachel Rudinger, J Edward Hu, Ellie Pavlick, Aaron Steven White, and Benjamin Van Durme

PDF

Hypothesis Only Baselines in Natural Language Inference, Adam Poliak, Jason Naradowsky, Aparajita Haldar, Rachel Rudinger, and Benjamin Van Durme

PDF

Extended Abstract: Explaining Type Errors, Brent A. Yorgey, Richard A. Eisenberg, and Harley D. Eades III

Submissions from 2017

PDF

Curiosity: Emergent Behavior Through Interacting Multi-Level Predictions, Douglas S. Blank, Lisa Meeden, and James Marshall

PDF

Levity Polymorphism, Richard A. Eisenberg and Simon Peyton Jones

PDF

Levity Polymorphism (extended version), Richard A. Eisenberg and Simon Peyton Jones

PDF

Panel: Teaching To Increase Diversity and Equity in STEM, Helen H. Hu, Doug Blank, Albert Chan, and Travis Doom

PDF

Developing Grounded Goals through Instant Replay Learning, Lisa Meeden and Douglas S. Blank

PDF

Constrained Type Families, J. Garrett Morris and Richard A. Eisenberg

PDF

A Specification for Dependent Types in Haskell, Stephanie Weirich, Antoine Voizard, Pedro Henrique Azevedo de Amorim, and Richard A. Eisenberg

Submissions from 2016

PDF

Convex Hull for Probabilistic Points, F. Betul Atalay, Sorelle A. Friedler, and Dianna Xu

PDF

Safe zero-cost coercions for Haskell, Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones, and Stephanie Weirich

PDF

Dependent Types in Haskell: Theory and Practice, Richard A. Eisenberg

PDF

Visible Type Application, Richard A. Eisenberg, Stephanie Weirich, and Hamidhasan G. Ahmed

PDF

A Reflection on Types, Simon. Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, and Dimitrios Vytiniotis

PDF

Uncommon Teaching Languages, Mark C. Lewis, Doug Blank, Kim Bruce, and Peter-Michael Osera

PDF

Pattern Synonyms, Matthew Pickering, Gergő Érdi, Simon Peyton Jones, and Richard A. Eisenberg

PDF

Creative Computation in High School, Dianna Xu, Aaron Cadle, Darby Thompson, Ursula Wolz, Ira Greenberg, and Deepak Kumar

PDF

Creative Computation for CS1 and K9-12, Dianna Xu, Ira Greenberg, Deepak Kumar, and Ursula Wolz

Submissions from 2015

PDF

An Overabundance of Equality: Implementing Kind Equalities into Haskell, Richard A. Eisenberg

PDF

System FC, as implemented in GHC, Richard A. Eisenberg

PDF

Computational Notebooks for AI Education, Keith J. O'Hara, Doug Blank, and James Marshall

PDF

Injective Type Families for Haskell, Jan Stolarek, Simon Peyton Jones, and Richard A. Eisenberg

PDF

Injective Type Families for Haskell (extended version), Jan Stolarek, Simon Peyton Jones, and Richard A. Eisenberg

PDF

Injective Type Families for Haskell, Jan Stolarek, Simon Peyton Jones, and Richard A. Eisenberg

Submissions from 2014

PDF

Safe Zero-cost Coercions for Haskell, Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones, and Stephanie Weirich

PDF

Safe Zero-cost Coercions for Haskell (extended version), Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones, and Stephanie Weirich

PDF

Promoting Functions to Type Families in Haskell, Richard A. Eisenberg and Jan Stolarek

PDF

Promoting Functions to Type Families in Haskell (extended version), Richard A. Eisenberg and Jan Stolarek

PDF

Closed Type Families with Overlapping Equations, Richard A. Eisenberg, Dimitrios Vytiniotis, Simon Peyton Jones, and Stephanie Weirich

PDF

Experience Report: Type-checking Polymorphic Units for Astrophysics Research in Haskell, Takayuki Muranushi and Richard A. Eisenberg

Submissions from 2013

PDF

Ironclad C++ A Library-Augmented Type-Safe Subset of C++, Christian DeLozier, Richard A. Eisenberg, Santosh Nagarakatte, Peter-Michael Osera, Milo M.K. Martin, and Steve Zdancewic

PDF

Closed Type Families with Overlapping Equations (extended version), Richard A. Eisenberg, Dimitrios Vytiniotis, Simon Peyton Jones, and Stephanie Weirich

PDF

Core Ironclad, Peter-Michael Osera, Richard A. Eisenberg, Christian DeLozier, Santosh Nagarakatte, Milo M.K. Martin, and Steve Zdancewic

PDF

System FC with Explicit Kind Equality, Stephanie Weirich, Justin Hsu, and Richard A. Eisenberg

PDF

System FC with Explicit Kind Equality (extended version), Stephanie Weirich, Justin Hsu, and Richard A. Eisenberg

Submissions from 2012

PDF

Quadrilateral meshes with provable angle bounds, F. B. Atalay, S. Ramaswami, and Dianna Xu

PDF

Calico: a multi-programming-language, multi-context framework designed for computer science education, Doug Blank, Jennifer S. Kay, James B. Marshall, Keith O'Hara, and Mark Russo

PDF

Dependently typed programming with singletons, Richard A. Eisenberg and Stephanie Weirich

PDF

Parametric pseudo-manifolds, Jean Gallier, Dianna Xu, and Marcelo Siqueira

PDF

Creative Coding and Visual Portfolios for CS1, Ira Greenberg, Deepak Kumar, and Dianna Xu

Submissions from 2009

PDF

The Pyro toolkit for AI and robotics, Doug Blank, Deepak Kumar, Lisa Meeden, and Holly Yanco

PDF

A music context for teaching introductory computing, Ananya Misra, Doug Blank, and Deepak Kumar

PDF

A new construction of smooth surfaces from triangle meshes using parametric pseudo-manifolds, Marcelo Siqueira, Dianna Xu, Jean Gallier, Luis Gustavo Nonato, Dimas Martinez Morera, and Luiz Velho

Submissions from 2008

PDF

Quadrilateral Meshes with Bounded Minimum Angle, F. Betul Atalay, Suneeta Ramaswami, and Dianna Xu

PDF

Games, Robots, and Robot Games: Complementary Contexts for Introductory Computing Education, Dianna Xu, Doug Blank, and Deepak Kumar

Submissions from 2007

PDF

Emergent pedagogy: learning to enjoy the uncontrollable—and make it productive, Anne Dalke, Kimberly Cassidy, Paul Grobstein, and Doug Blank

PDF

Introduction to developmental robotics, Lisa Meeden and Doug Blank

Submissions from 2005

PDF

Bringing up robot: Fundamental mechanisms for creating a self-motivated, self-organizing architecture, Doug Blank, Deepak Kumar, Lisa Meeden, and James Marshall

PDF

The Multiple Roles of Anticipation in Developmental Robotics, Doug Blank, Joshua M. Lewis, and James B. Marshall

Submissions from 2004

PDF

Pyro: A Python-based Versatile Programming Environment for Teaching Robotics, Doug Blank, Deepak Kumar, Lisa Meeden, and Holly Yanco

PDF

Avoiding the Karel-the-Robot Paradox: A framework for making sophisticated robotics accessible, Doug Blank, Holly Yanco, Deepak Kumar, and Lisa Meeden

PDF

An Emergent Framework for Self-Motivation in Developmental Robotics, James Marshall, Doug Blank, and Lisa Meeden

PDF

Robot Self-Motivation: Balancing "Boredom" and "Confusion", James Marshall, Doug Blank, and Lisa Meeden

PDF

Self-Motivated, Task-Independent Reinforcement Learning for Robots, Lisa Meeden, James Marshall, and Doug Blank

PDF

The Governor Architecture: Avoiding Catastrophic Forgetting in Robot Learning, Jeremy Strober, Lisa Meeden, and Doug Blank

Submissions from 2003

PDF

Patterns of Curriculum Design, Doug Blank and Deepak Kumar

PDF

Python robotics: an environment for exploring robotics beyond LEGOs, Doug Blank, Lisa Meeden, and Deepak Kumar

PDF

Using departmental surveys to assess computing culture: Quantifying gender differences in the classroom, Lisa Meeden, Doug Blank, and Deepak Kumar

Submissions from 2002

PDF

A Developmental Approach to Anchoring, Doug Blank, Deepak Kumar, and Lisa Meeden

PDF

A Developmental Approach to Intelligence, Doug Blank, Deepak Kumar, and Lisa Meeden

PDF

Bringing up robot: Fundamental mechanisms for creating a self-motivated, self-organizing architecture, Doug Blank, Deepak Kumar, and Lisa Meeden

Submissions from 2001

PDF

A Robot Team that Can Search, Rescue, and Serve Cookies: Experiments in Multi-modal Person Identification and Multi-robot Sound Localization., Doug Blank and G. Beavers

PDF

Complexity as Fitness for Evolved Cellular Automata Update Rules, Em Ward, Doug Blank, Douglas Rolniak, and Dale R. Thompson

Submissions from 1999

PDF

The World Wide Web, H. Berghel and Doug Blank

PDF

Radical Artificial Intelligence: A Postmodern Approach, Doug Blank

PDF

The XRCL Project: The University of Arkansas' Entry into the AAAI 1999 Mobile Robot Competition, Doug S. Blank, Jared H. Hudson, Brian C. Mashburn, and Eric A. Roberts

PDF

Graphics + Robotics + AI = Fast, 3D Scene Construction, Brian C. Mashburn and Doug S. Blank

Submissions from 1998

PDF

Interactive Gradebook: The Missing (Hyper)Link, Doug Blank, George Holmes, Ryan Wells, and Pawel Wolinksi

PDF

Innovation through Competition, Doug Blank and Lisa Meeden

PDF

Use of Robot Simulations can Enhance Integration, Lisa Meeden and Doug Blank

Submissions from 1997

PDF

Learning to See Analogies: A Connectionist Exploration, Douglas S. Blank

PDF

Learning in a Fuzzy Logic Robot Controller, Doug Blank and J. O. Ross

PDF

Incorporating a Connectionist Vision Module into a Fuzzy, Behavior-Based Robot Controller, Doug Blank and J. Oliver Ross

Submissions from 1996

PDF

Analogy-Making: A Connectionist Exploration, Doug Blank

PDF

Behavior-Based Analogy-Making, Doug Blank

Submissions from 1993

PDF

Emergent Control and Planning in an Autonomous Vehicle, Lisa Meeden, Gary McGraw, and Doug Blank

Submissions from 1992

PDF

Grounding via Scanning: Cooking up Roles from Scratch, Doug Blank and Michael Gasser

PDF

Exploring the Symbolic/Subsymbolic Continuum: A case study of RAAM, Doug Blank, Lisa Meeden, and James Marshall