「メモ/プログラミング」の編集履歴（バックアップ）一覧に戻る

メモ/プログラミング - (2009/06/20 (土) 09:45:41) のソース

#contents

-[[Types and Modularity for Implicit Invocation with Implicit Announcement>http://www.infosun.fim.uni-passau.de/cl/staff/apel/all_chronological.php]], TOSEM 2009

-[[キミならどう書く 2.0 - 2007>http://karetta.jp/article/blog/ll-spirit/033840]]

*文献

-[[Type-Safe Observable Sharing in Haskell>http://www.ittc.ku.edu/~andygill/paper.php?label=DSLExtract09]], Haskell Symposium 2009


-[[Fine-Grained Access Control with Object-Sensitive Roles>http://www.cs.ucla.edu/~todd/research/ecoop09.html]], ECOOP 2009

-[[Compiling Structural Types on the JVM>http://infoscience.epfl.ch/record/138931]], 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>http://p-cos.net/research.html]], 2nd European Lisp Symposium 2009

-[[Monadic Memoization Mixins>http://www.cs.utexas.edu/users/wcook/]], SBLP 2009

-[[Controlled Evolution of Adaptive Programs>http://www.ccs.neu.edu/research/demeter/biblio/contr-evol-ap.html]], TR 2009

-[[Automatically Finding Patches Using Genetic Programming.>http://www.cs.virginia.edu/~weimer/]], ICSE 2009


-[[Practical Variable-Arity Polymorphism>http://www.ccs.neu.edu/scheme/pubs/]], ESOP 2009

-[[Towards Adaptive Programming: Integrating Reinforcement Learning into a Programming Language>http://www.cc.gatech.edu/grads/s/simpkins/research/research.html]], OOPSLA 2008

*Haskell
-[[Push-pull functional reactive programming>http://conal.net/papers/push-pull-frp/]], Haskell Symposium 2009

*ML
-[[Parallel Concurrent ML>http://people.cs.uchicago.edu/~jhr/papers/all.html]], ICFP 2009