Functional Data Science for Secondary-School Students von Biberstein, Paul, Castleman, Thomas, Chen, Luming, Krishnamurthi, Shriram

Volltext

Expanding Models for Physics Teaching: A Framework for the Integration of Computational Modeling von Vieyra, Rebecca, Megowan-Romanowicz, Colleen, Fisler, Kathi, Lerner, Benjamin, Politz, Joe, Krishnamurthi, Shriram

Volltext

What is an education paper? von KRISHNAMURTHI, SHRIRAM

Volltext

Editorial von GIBBONS, JEREMY, KRISHNAMURTHI, SHRIRAM

Volltext

Editorial von Gibbons, Jeremy, Krishnamurthi, Shriram

Volltext

Editorial von GIBBONS, JEREMY, KRISHNAMURTHI, SHRIRAM

Volltext

Profiling Programming Language Learning von Crichton, Will, Krishnamurthi, Shriram

Volltext

A Core Calculus for Documents: Or, Lambda: The Ultimate Document von Crichton, Will, Krishnamurthi, Shriram

Volltext

Specifying and Reasoning About Dynamic Access-Control Policies von Dougherty, Daniel J., Fisler, Kathi, Krishnamurthi, Shriram

Volltext

The Human in Formal Methods von Krishnamurthi, Shriram, Nelson, Tim

Volltext

Structural versus pipeline composition of higher-order functions (experience report) von Rivera, Elijah, Krishnamurthi, Shriram

Volltext

Practical Aspects of Declarative Languages: 4th International Symposium, PADL 2002, Portland, or, USA, January 19-20, 2002. Proceedings von Krishnamurthi, Shriram, Ramakrishnan, C.R

Volltext

Programming Languages: Application and Interpretation von Krishnamurthi, Shriram

Volltext

A Grounded Conceptual Model for Ownership Types in Rust von Crichton, Will, Gray, Gavin, Krishnamurthi, Shriram

Volltext

Prototyping Formal Methods Tools: A Protocol Analysis Case Study von Siegel, Abigail, Santomauro, Mia, Dyer, Tristan, Nelson, Tim, Krishnamurthi, Shriram

Volltext

Identifying and Correcting Programming Language Behavior Misconceptions von Lu, Kuang-Chen, Krishnamurthi, Shriram

Volltext

Applying cognitive principles to model-finding output: the positive value of negative information von Dyer, Tristan, Nelson, Tim, Fisler, Kathi, Krishnamurthi, Shriram

Volltext

Participatory Networking: An API for Application Control of SDNs von FERGUSON, Andrew D, GUHA, Arjun, CHEN LIANG, FONSECA, Rodrigo, KRISHNAMURTHI, Shriram

Volltext

Foundations of incremental aspect model-checking von Krishnamurthi, Shriram, Fisler, Kathi

Volltext

Embedding Dynamic Dataflow in a Call-by-Value Language von Cooper, Gregory H., Krishnamurthi, Shriram

Volltext