twelf - Revision 1901: /branches/twelf-lfr/TEST/wiki-examples

• ..
• Big_algebraic_solver.cfg
• Big_algebraic_solver.elf
• Bracket_abstraction.cfg
• Bracket_abstraction.elf
• C_machine_and_focusing.cfg
• C_machine_and_focusing.elf
• C_machine_and_focusing_(composition_in_machine_state).cfg
• C_machine_and_focusing_(composition_in_machine_state).elf
• C_machine_and_focusing_(internalized_compositon).cfg
• C_machine_and_focusing_(internalized_compositon).elf
• Church-Rosser_(w__catch-all_case).cfg
• Church-Rosser_(w__catch-all_case).elf
• Church-Rosser_(w__identity_reduction).cfg
• Church-Rosser_(w__identity_reduction).elf
• Church-Rosser_via_complete_development.cfg
• Church-Rosser_via_complete_development.elf
• Concrete_representation.cfg
• Concrete_representation.elf
• Correctness_of_mergesort.cfg
• Correctness_of_mergesort.elf
• Double-negation_translation.cfg
• Double-negation_translation.elf
• Evaluation_contexts.cfg
• Evaluation_contexts.elf
• Focusing.cfg
• Focusing.elf
• HOAS_nat_bijection.cfg
• HOAS_nat_bijection.elf
• Indexed_HOAS_nat_bijection.cfg
• Indexed_HOAS_nat_bijection.elf
• Lax_logic.cfg
• Lax_logic.elf
• Let*.cfg
• Let*.elf
• Letrec.cfg
• Letrec.elf
• MinMLToMinHaskell.cfg
• MinMLToMinHaskell.elf
• Modes_of_use.cfg
• Modes_of_use.elf
• Mutable_state.cfg
• Mutable_state.elf
• Natural_numbers_with_inequality.cfg
• Natural_numbers_with_inequality.elf
• Negation_as_failure.cfg
• Negation_as_failure.elf
• POPL_Tutorial_Basics_Answer.cfg
• POPL_Tutorial_Basics_Answer.elf
• POPL_Tutorial_Basics_Starter.cfg
• POPL_Tutorial_Basics_Starter.elf
• POPL_Tutorial_Big_step,_small_step__Solution.cfg
• POPL_Tutorial_Big_step,_small_step__Solution.elf
• POPL_Tutorial_CPS_Solution2.cfg
• POPL_Tutorial_CPS_Solution2.elf
• POPL_Tutorial_CPS_Solutions.cfg
• POPL_Tutorial_CPS_Solutions.elf
• POPL_Tutorial_Church_Rosser_(Problem).cfg
• POPL_Tutorial_Church_Rosser_(Problem).elf
• POPL_Tutorial_Combinators_(karl).cfg
• POPL_Tutorial_Combinators_(karl).elf
• POPL_Tutorial_Combinators_Answer.cfg
• POPL_Tutorial_Combinators_Answer.elf
• POPL_Tutorial_Combinators_Support.cfg
• POPL_Tutorial_Combinators_Support.elf
• POPL_Tutorial_Combinators_session.cfg
• POPL_Tutorial_Combinators_session.elf
• POPL_Tutorial_Combinators_session_(answers).cfg
• POPL_Tutorial_Combinators_session_(answers).elf
• POPL_Tutorial_Control_machine.cfg
• POPL_Tutorial_Control_machine.elf
• POPL_Tutorial_Cost_semantics.cfg
• POPL_Tutorial_Cost_semantics.elf
• POPL_Tutorial_Evaluation_Contexts_Intrinsic.cfg
• POPL_Tutorial_Evaluation_Contexts_Intrinsic.elf
• POPL_Tutorial_Exceptions.cfg
• POPL_Tutorial_Exceptions.elf
• POPL_Tutorial_MinML_Answer.cfg
• POPL_Tutorial_MinML_Answer.elf
• POPL_Tutorial_MinML_Preservation_Theorem__Solution.cfg
• POPL_Tutorial_MinML_Preservation_Theorem__Solution.elf
• POPL_Tutorial_MinML_Starter.cfg
• POPL_Tutorial_MinML_Starter.elf
• POPL_Tutorial_Nat.cfg
• POPL_Tutorial_Nat.elf
• POPL_Tutorial_New_language.cfg
• POPL_Tutorial_New_language.elf
• POPL_Tutorial_Pattern_matching.cfg
• POPL_Tutorial_Pattern_matching.elf
• POPL_Tutorial_Sequent_vs_Natural_Deduction__Solution.cfg
• POPL_Tutorial_Sequent_vs_Natural_Deduction__Solution.elf
• POPL_Tutorial_Session_2_Answer.cfg
• POPL_Tutorial_Session_2_Answer.elf
• POPL_Tutorial_Session_2_Starter.cfg
• POPL_Tutorial_Session_2_Starter.elf
• POPL_Tutorial_Session_4_Answer.cfg
• POPL_Tutorial_Session_4_Answer.elf
• POPL_Tutorial_Session_4_Starter.cfg
• POPL_Tutorial_Session_4_Starter.elf
• POPL_Tutorial_Typed_bracket_abstraction_(solution).cfg
• POPL_Tutorial_Typed_bracket_abstraction_(solution).elf
• POPL_Tutorial_Typed_bracket_abstraction_with_equivalence.cfg
• POPL_Tutorial_Typed_bracket_abstraction_with_equivalence.elf
• POPL_Tutorial_cps-problem.cfg
• POPL_Tutorial_cps-problem.elf
• POPL_Tutorial_cps-problem2.cfg
• POPL_Tutorial_cps-problem2.elf
• POPL_Tutorial_cps-rp.cfg
• POPL_Tutorial_cps-rp.elf
• POPL_Tutorial_cps.cfg
• POPL_Tutorial_cps.elf
• Pattern_matching.cfg
• Pattern_matching.elf
• Polarized_PCF.cfg
• Polarized_PCF.elf
• Summer_school_2008_Alternate_typed_arithmetic_expressions_with_sums.cfg
• Summer_school_2008_Alternate_typed_arithmetic_expressions_with_sums.elf
• Summer_school_2008_Arithmetic_expressions.cfg
• Summer_school_2008_Arithmetic_expressions.elf
• Summer_school_2008_Arithmetic_expressions_with_call-by-value_let-binding.cfg
• Summer_school_2008_Arithmetic_expressions_with_call-by-value_let-binding.elf
• Summer_school_2008_Arithmetic_expressions_with_let-binding.cfg
• Summer_school_2008_Arithmetic_expressions_with_let-binding.elf
• Summer_school_2008_Arithmetic_expressions_with_let-binding_(hypothetical_evaluation).cfg
• Summer_school_2008_Arithmetic_expressions_with_let-binding_(hypothetical_evaluation).elf
• Summer_school_2008_Encoding_of_System_F.cfg
• Summer_school_2008_Encoding_of_System_F.elf
• Summer_school_2008_Type_safety_for_MinML_(extrinsic_encoding).cfg
• Summer_school_2008_Type_safety_for_MinML_(extrinsic_encoding).elf
• Summer_school_2008_Type_safety_for_MinML_(intrinsic_encoding).cfg
• Summer_school_2008_Type_safety_for_MinML_(intrinsic_encoding).elf
• Summer_school_2008_Type_safety_for_MinML_with_monadic_effects.cfg
• Summer_school_2008_Type_safety_for_MinML_with_monadic_effects.elf
• Summer_school_2008_Type_safety_for_MinML_with_monadic_effects_(putngetn).cfg
• Summer_school_2008_Type_safety_for_MinML_with_monadic_effects_(putngetn).elf
• Summer_school_2008_Type_safety_for_polymorphic_MinML_(intrinsic_encoding).cfg
• Summer_school_2008_Type_safety_for_polymorphic_MinML_(intrinsic_encoding).elf
• Summer_school_2008_Typed_arithmetic_expressions.cfg
• Summer_school_2008_Typed_arithmetic_expressions.elf
• Summer_school_2008_Typed_arithmetic_expressions_(extrinsic_encoding).cfg
• Summer_school_2008_Typed_arithmetic_expressions_(extrinsic_encoding).elf
• Summer_school_2008_Typed_arithmetic_expressions_(value).cfg
• Summer_school_2008_Typed_arithmetic_expressions_(value).elf
• Summer_school_2008_Typed_arithmetic_expressions_with_pairs.cfg
• Summer_school_2008_Typed_arithmetic_expressions_with_pairs.elf
• Summer_school_2008_Typed_arithmetic_expressions_with_sums.cfg
• Summer_school_2008_Typed_arithmetic_expressions_with_sums.elf
• Summer_school_2008_Typed_arithmetic_expressions_with_sums_2.cfg
• Summer_school_2008_Typed_arithmetic_expressions_with_sums_2.elf
• Tabled_logic_programming.cfg
• Tabled_logic_programming.elf
• Tactical_theorem_proving.cfg
• Tactical_theorem_proving.elf
• Tethered_modal_logic.cfg
• Tethered_modal_logic.elf
• The_Twelf_Project_Literate_Twelf_Sample_Page.cfg
• The_Twelf_Project_Literate_Twelf_Sample_Page.elf
• TwelfTag.cfg
• TwelfTag.elf
• Typed_combinators_soundness_and_completeness.cfg
• Typed_combinators_soundness_and_completeness.elf
• User_Hdeyoung_modal.elf.cfg
• User_Hdeyoung_modal.elf.elf
• User_Hdeyoung_monweakfoc.elf.cfg
• User_Hdeyoung_monweakfoc.elf.elf
• User_Hdeyoung_subord.elf.cfg
• User_Hdeyoung_subord.elf.elf
• User_Rsimmons_CR2.cfg
• User_Rsimmons_CR2.elf
• User_Rsimmons_Fluid_binding.cfg
• User_Rsimmons_Fluid_binding.elf
• User_Rsimmons_Handled_exceptions.cfg
• User_Rsimmons_Handled_exceptions.elf
• User_Rsimmons_Homework_6.cfg
• User_Rsimmons_Homework_6.elf
• User_Rsimmons_Homework_7__Proofs_In_Twelf.cfg
• User_Rsimmons_Homework_7__Proofs_In_Twelf.elf
• User_Rsimmons_Lecture_20__Logic_Programming.cfg
• User_Rsimmons_Lecture_20__Logic_Programming.elf
• User_Rsimmons_Lecture_23__Typed_Lambda_Calculus_in_Twelf.cfg
• User_Rsimmons_Lecture_23__Typed_Lambda_Calculus_in_Twelf.elf
• User_Rsimmons_Subtype.cfg
• User_Rsimmons_Subtype.elf
• Weak_focusing.cfg
• Weak_focusing.elf
• lily.cfg
• lily.elf
• linearlogic.cfg
• linearlogic.elf