Merge a559f7b3cb into 809ceb1726

2025-06-13 12:54:28 +00:00 · 2014-03-05 04:20:22 +00:00 · 2014-03-05 04:20:22 +00:00 · a6a01320a9
commit a6a01320a9
parent 809ceb1726 a559f7b3cb
140 changed files with 319608 additions and 0 deletions
--- a/Haskell/HSoM.pdf
+++ b/Haskell/HSoM.pdf
--- a/Haskell/Haskell
+++ b/Haskell/Haskell
--- a/Haskell/HaskellRules_June06.pdf
+++ b/Haskell/HaskellRules_June06.pdf
--- a/Haskell/ScrapYourZippers-2010.pdf
+++ b/Haskell/ScrapYourZippers-2010.pdf
--- a/Haskell/arrows.pdf
+++ b/Haskell/arrows.pdf
--- a/Haskell/flow-Haskell2013.pdf
+++ b/Haskell/flow-Haskell2013.pdf
--- a/Haskell/haskell-98-tutorial.pdf
+++ b/Haskell/haskell-98-tutorial.pdf
--- a/Haskell/haskell_awkward_squad.pdf
+++ b/Haskell/haskell_awkward_squad.pdf
--- a/Haskell/haskell_chr_stm.pdf
+++ b/Haskell/haskell_chr_stm.pdf
--- a/Haskell/haskell_monadic_cp.pdf
+++ b/Haskell/haskell_monadic_cp.pdf
--- a/Haskell/haskell_road.pdf
+++ b/Haskell/haskell_road.pdf
--- a/Haskell/haskell_type_safe_cp.pdf
+++ b/Haskell/haskell_type_safe_cp.pdf
--- a/Haskell/hasochism.pdf
+++ b/Haskell/hasochism.pdf
--- a/Haskell/hcc-popl.pdf
+++ b/Haskell/hcc-popl.pdf
--- a/Haskell/logic_prog_haskell.pdf
+++ b/Haskell/logic_prog_haskell.pdf
--- a/Haskell/par-tutorial.pdf
+++ b/Haskell/par-tutorial.pdf
--- a/Haskell/typed_logic_vars.pdf
+++ b/Haskell/typed_logic_vars.pdf
--- a/abstract_interpretation/AI_Prolog.pdf
+++ b/abstract_interpretation/AI_Prolog.pdf
--- a/abstract_interpretation/AI_tabling.ps
+++ b/abstract_interpretation/AI_tabling.ps
--- a/abstract_interpretation/AbramskiAI.pdf
+++ b/abstract_interpretation/AbramskiAI.pdf
--- a/abstract_interpretation/abs_int_tree_automata.pdf
+++ b/abstract_interpretation/abs_int_tree_automata.pdf
--- a/abstract_interpretation/abstract_interpr_logic_programs.pdf
+++ b/abstract_interpretation/abstract_interpr_logic_programs.pdf
--- a/abstract_interpretation/abstract_interpretation_based_formal_methods.pdf
+++ b/abstract_interpretation/abstract_interpretation_based_formal_methods.pdf
--- a/abstract_interpretation/abstract_interpreters_for_free.pdf
+++ b/abstract_interpretation/abstract_interpreters_for_free.pdf
--- a/abstract_interpretation/ciaopp-sas03.pdf
+++ b/abstract_interpretation/ciaopp-sas03.pdf
--- a/abstract_interpretation/cstva12.pdf
+++ b/abstract_interpretation/cstva12.pdf
--- a/abstract_interpretation/lec35-fa06.pdf
+++ b/abstract_interpretation/lec35-fa06.pdf
--- a/abstract_interpretation/meta_circ-2.ps
+++ b/abstract_interpretation/meta_circ-2.ps
--- a/abstract_interpretation/rel_AI.pdf
+++ b/abstract_interpretation/rel_AI.pdf
--- a/abstract_interpretation/scp31.pdf
+++ b/abstract_interpretation/scp31.pdf
--- a/abstract_interpretation/tplp95.pdf
+++ b/abstract_interpretation/tplp95.pdf
--- a/abstract_interpretation/tplp_Seq.pdf
+++ b/abstract_interpretation/tplp_Seq.pdf
--- a/abstract_machines/KAZAM.pdf
+++ b/abstract_machines/KAZAM.pdf
--- a/abstract_machines/Landin64.pdf
+++ b/abstract_machines/Landin64.pdf
--- a/abstract_machines/krivine.pdf
+++ b/abstract_machines/krivine.pdf
--- a/abstract_machines/lazymach.pdf
+++ b/abstract_machines/lazymach.pdf
--- a/abstract_machines/masters_thesis.pdf
+++ b/abstract_machines/masters_thesis.pdf
--- a/abstract_machines/systematic_abstract_machines.pdf
+++ b/abstract_machines/systematic_abstract_machines.pdf
--- a/abstract_machines/zam-kazam05.pdf
+++ b/abstract_machines/zam-kazam05.pdf
--- a/binary_decision_trees/1103.3123v2.pdf
+++ b/binary_decision_trees/1103.3123v2.pdf
--- a/binary_decision_trees/BDD_Akers.pdf
+++ b/binary_decision_trees/BDD_Akers.pdf
--- a/binary_decision_trees/Hadzicetal_WIGSK08.pdf
+++ b/binary_decision_trees/Hadzicetal_WIGSK08.pdf
--- a/binary_decision_trees/bdd.pdf
+++ b/binary_decision_trees/bdd.pdf
--- a/binary_decision_trees/bdd_bryant.ps
+++ b/binary_decision_trees/bdd_bryant.ps
--- a/binary_decision_trees/bdd_datalog.pdf
+++ b/binary_decision_trees/bdd_datalog.pdf
--- a/binary_decision_trees/bdd_ordering_heuristics_survey.pdf
+++ b/binary_decision_trees/bdd_ordering_heuristics_survey.pdf
--- a/binary_decision_trees/bdd_prolog.pdf
+++ b/binary_decision_trees/bdd_prolog.pdf
--- a/binary_decision_trees/bdd_variable_order.pdf
+++ b/binary_decision_trees/bdd_variable_order.pdf
--- a/binary_decision_trees/dynamic_var_order_bdd.pdf
+++ b/binary_decision_trees/dynamic_var_order_bdd.pdf
--- a/binary_decision_trees/efficient_bdd_package.pdf
+++ b/binary_decision_trees/efficient_bdd_package.pdf
--- a/binary_decision_trees/l13-Datalog-and-BDD.pdf
+++ b/binary_decision_trees/l13-Datalog-and-BDD.pdf
--- a/binary_decision_trees/tech01_zdd.pdf
+++ b/binary_decision_trees/tech01_zdd.pdf
--- a/constraint_handling_rules/02-Csorba-chr12.pdf
+++ b/constraint_handling_rules/02-Csorba-chr12.pdf
--- a/constraint_handling_rules/chr-stm.ps
+++ b/constraint_handling_rules/chr-stm.ps
--- a/constraint_handling_rules/chr2008.pdf
+++ b/constraint_handling_rules/chr2008.pdf
--- a/constraint_handling_rules/chr_analyses_optimizations.pdf
+++ b/constraint_handling_rules/chr_analyses_optimizations.pdf
--- a/constraint_handling_rules/chr_in_c.pdf
+++ b/constraint_handling_rules/chr_in_c.pdf
--- a/constraint_handling_rules/chr_join_calculus.pdf
+++ b/constraint_handling_rules/chr_join_calculus.pdf
--- a/constraint_handling_rules/chr_next.pdf
+++ b/constraint_handling_rules/chr_next.pdf
--- a/constraint_handling_rules/chr_theory.pdf
+++ b/constraint_handling_rules/chr_theory.pdf
--- a/constraint_handling_rules/chr_theory_practice.pdf
+++ b/constraint_handling_rules/chr_theory_practice.pdf
--- a/constraint_handling_rules/chr_to_java.pdf
+++ b/constraint_handling_rules/chr_to_java.pdf
--- a/constraint_handling_rules/compilation_chr.pdf
+++ b/constraint_handling_rules/compilation_chr.pdf
--- a/constraint_handling_rules/compiling_chr_to_java.pdf
+++ b/constraint_handling_rules/compiling_chr_to_java.pdf
--- a/constraint_handling_rules/dijkstra_chr.pdf
+++ b/constraint_handling_rules/dijkstra_chr.pdf
--- a/constraint_handling_rules/draft_chr_survey.pdf
+++ b/constraint_handling_rules/draft_chr_survey.pdf
--- a/constraint_handling_rules/ext_solvers_char.pdf
+++ b/constraint_handling_rules/ext_solvers_char.pdf
--- a/constraint_handling_rules/hmx-clpx.pdf
+++ b/constraint_handling_rules/hmx-clpx.pdf
--- a/constraint_handling_rules/impl_chr_imperative_langs.pdf
+++ b/constraint_handling_rules/impl_chr_imperative_langs.pdf
--- a/constraint_handling_rules/jfp06.pdf
+++ b/constraint_handling_rules/jfp06.pdf
--- a/constraint_handling_rules/thesis.pdf
+++ b/constraint_handling_rules/thesis.pdf
--- a/constraint_handling_rules/union-find.pdf
+++ b/constraint_handling_rules/union-find.pdf
--- a/constraint_logic_programming/02-Csorba-chr12.pdf
+++ b/constraint_logic_programming/02-Csorba-chr12.pdf
--- a/constraint_logic_programming/chr-stm.ps
+++ b/constraint_logic_programming/chr-stm.ps
--- a/constraint_logic_programming/chr2008.pdf
+++ b/constraint_logic_programming/chr2008.pdf
--- a/constraint_logic_programming/chr_analyses_optimizations.pdf
+++ b/constraint_logic_programming/chr_analyses_optimizations.pdf
--- a/constraint_logic_programming/chr_in_c.pdf
+++ b/constraint_logic_programming/chr_in_c.pdf
--- a/constraint_logic_programming/chr_join_calculus.pdf
+++ b/constraint_logic_programming/chr_join_calculus.pdf
--- a/constraint_logic_programming/chr_next.pdf
+++ b/constraint_logic_programming/chr_next.pdf
--- a/constraint_logic_programming/chr_theory.pdf
+++ b/constraint_logic_programming/chr_theory.pdf
--- a/constraint_logic_programming/chr_theory_practice.pdf
+++ b/constraint_logic_programming/chr_theory_practice.pdf
--- a/constraint_logic_programming/chr_to_java.pdf
+++ b/constraint_logic_programming/chr_to_java.pdf
--- a/constraint_logic_programming/compilation_chr.pdf
+++ b/constraint_logic_programming/compilation_chr.pdf
--- a/constraint_logic_programming/compiling_chr_to_java.pdf
+++ b/constraint_logic_programming/compiling_chr_to_java.pdf
--- a/constraint_logic_programming/dijkstra_chr.pdf
+++ b/constraint_logic_programming/dijkstra_chr.pdf
--- a/constraint_logic_programming/draft_chr_survey.pdf
+++ b/constraint_logic_programming/draft_chr_survey.pdf
--- a/constraint_logic_programming/ext_solvers_char.pdf
+++ b/constraint_logic_programming/ext_solvers_char.pdf
--- a/constraint_logic_programming/hmx-clpx.pdf
+++ b/constraint_logic_programming/hmx-clpx.pdf
--- a/constraint_logic_programming/impl_chr_imperative_langs.pdf
+++ b/constraint_logic_programming/impl_chr_imperative_langs.pdf
--- a/constraint_logic_programming/jfp06.pdf
+++ b/constraint_logic_programming/jfp06.pdf
--- a/constraint_logic_programming/thesis.pdf
+++ b/constraint_logic_programming/thesis.pdf
--- a/constraint_logic_programming/union-find.pdf
+++ b/constraint_logic_programming/union-find.pdf
--- a/continuations/abstracting_control.pdf
+++ b/continuations/abstracting_control.pdf
--- a/continuations/applications_of_continuations.pdf
+++ b/continuations/applications_of_continuations.pdf
--- a/continuations/cont_plt.pdf
+++ b/continuations/cont_plt.pdf
--- a/continuations/continuation_multiprocessing.ps
+++ b/continuations/continuation_multiprocessing.ps
--- a/continuations/continuations_concurrency.pdf
+++ b/continuations/continuations_concurrency.pdf
--- a/continuations/direct_impl_shift_reset.pdf
+++ b/continuations/direct_impl_shift_reset.pdf
--- a/continuations/recycling_conts.ps
+++ b/continuations/recycling_conts.ps
--- a/continuations/yield.subc.pdf
+++ b/continuations/yield.subc.pdf
--- a/Show More
+++ b/Show More