メモ/プログラミング - asato @Wiki

• Flapjax: A Programming Language for Ajax Applications, OOPSLA 2009

• Types and Modularity for Implicit Invocation with Implicit Announcement, TOSEM 2009

• キミならどう書く 2.0 - 2007

文献

• Three Approaches to Object Evolution, PPPJ 2009

• Minimizing Dependencies within Generic Classes for Faster and Smaller Programs, OOPSLA 2009

• Safe Functional Reactive Programming through Dependent Types, ICFP 2009

• Type-Safe Observable Sharing in Haskell, Haskell Symposium 2009

• Fine-Grained Access Control with Object-Sensitive Roles, ECOOP 2009

• Compiling Structural Types on the JVM, Fourth Workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems 2009

• Hygiene for the Unhygienic: Hygiene-Compatible Macros in an Unhygienic Macro System, 2nd European Lisp Symposium 2009

• Monadic Memoization Mixins, SBLP 2009

• Controlled Evolution of Adaptive Programs, TR 2009

• Automatically Finding Patches Using Genetic Programming., ICSE 2009

• Practical Variable-Arity Polymorphism, ESOP 2009

• Towards Adaptive Programming: Integrating Reinforcement Learning into a Programming Language, OOPSLA 2008

Haskell

• Push-pull functional reactive programming, Haskell Symposium 2009

ML

• Parallel Concurrent ML, ICFP 2009