Tags

• haskell 1
• Compilers 2
• compilers 1
• aspect oriented 1
• c++ 1
• Dependency Injection 1
• error detection 1
• AspectC++ 1
• Wittgenstein 1
• recursion 1
• Java 3
• lambda calculus 1
• Idris 2
• Spring 1
• philosophy 1
• exceptions 1
• category theory 1

haskell

• Traces with monoidal errors

Compilers

• Forget Scala! A Java Backend for Idris (Update)
• Forget Scala! A Java Backend for Idris

compilers

• Compiler Assisted Automatic Error Detection

aspect oriented

• Compiler Assisted Automatic Error Detection

c++

• Compiler Assisted Automatic Error Detection

Dependency Injection

• Inject dependencies with Syringe

error detection

• Compiler Assisted Automatic Error Detection

AspectC++

• Compiler Assisted Automatic Error Detection

Wittgenstein

• Wittgenstein vs Recursion

recursion

• Wittgenstein vs Recursion

Java

• Forget Scala! A Java Backend for Idris (Update)
• Inject dependencies with Syringe
• Forget Scala! A Java Backend for Idris

lambda calculus

• Inject dependencies with Syringe

Idris

• Forget Scala! A Java Backend for Idris (Update)
• Forget Scala! A Java Backend for Idris

Spring

• Inject dependencies with Syringe

philosophy

• Wittgenstein vs Recursion

exceptions

• Traces with monoidal errors

category theory

• Traces with monoidal errors