POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Units: cool modules for HOT languages
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Programming languages as operating systems (or revenge of the son of the lisp machine)
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Rethinking CS0 with JavaScript
Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
DrJava: a lightweight pedagogic environment for Java
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
Contracts for higher-order functions
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Expressing Structural Properties as Language Constructs
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
From Macros to Reusable Generative Programming
GCSE '99 Proceedings of the First International Symposium on Generative and Component-Based Software Engineering
A Programmer's Reduction Semantics for Classes and Mixins
Formal Syntax and Semantics of Java
The genome generator: simulating the development of junk DNA
Journal of Computing Sciences in Colleges
A user-centred approach to functions in Excel
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
ProfessorJ: a gradual introduction to Java through language levels
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
eclipse '03 Proceedings of the 2003 OOPSLA workshop on eclipse technology eXchange
Bee: an integrated development environment for the Scheme programming language
Journal of Functional Programming
Welcome to the Educational Pearls Column
Journal of Functional Programming
Taming a professional IDE for the classroom
Proceedings of the 35th SIGCSE technical symposium on Computer science education
Scheme-based web programming as a basis for a CS0 curriculum
Proceedings of the 35th SIGCSE technical symposium on Computer science education
Computer literacy via Scheme and web programming
Journal of Functional Programming
Slideshow: functional presentations
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Super and inner: together at last!
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Fine-grained interoperability through mirrors and contracts
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Htdp and dmda in the battlefield: a case study in first-year programming instruction
Proceedings of the 2008 international workshop on Functional and declarative programming in education
Functional programming and theorem proving for undergraduates: a progress report
Proceedings of the 2008 international workshop on Functional and declarative programming in education
Test-driven design for introductory OO programming
Proceedings of the 40th ACM technical symposium on Computer science education
An Eclipse Plug-in for SVG Animations in an Educational System for Programming
Proceedings of the 2005 conference on Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences: Sharing Good Practices of Research, Experimentation and Innovation
Automatic verification for interactive graphical programs
Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications
Contracts for first-class modules
DLS '09 Proceedings of the 5th symposium on Dynamic languages
Language subsetting via reflection and overloading
FIE'09 Proceedings of the 39th IEEE international conference on Frontiers in education conference
Polyglot: an extensible compiler framework for Java
CC'03 Proceedings of the 12th international conference on Compiler construction
Proceedings of the fifteenth annual conference on Innovation and technology in computer science education
Contract-driven testing of javascript code
TOOLS'10 Proceedings of the 48th international conference on Objects, models, components, patterns
Making teaching of programming learning-oriented and learner-directed
Proceedings of the 11th Koli Calling International Conference on Computing Education Research
Syntactic abstraction in component interfaces
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Scheme with classes, mixins, and traits
APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems
Introductory computing: the design discipline
ISSEP'11 Proceedings of the 5th international conference on Informatics in Schools: situation, Evolution and Perspectives
Hi-index | 0.00 |