gasche
Papiers lus :
- A Tail-Recursive Machine with Stack Inspection
- Foundations of Algebraic Specification and Formal Software Development
- Thorn: Robust, Concurrent, Extensible Scripting on the JVM
- Part-of-Speech Tagging From 97% to 100%: Is It Time for Some Linguistics?
- Specification and Verification: The Spec# Experience
- Do we Need Dependent Types?
- Yield : Mainstream Delimited Continuations
- Relaxing the Value Restriction
- Formal Proof -- The Four-Colors Theorem
- Resource-safe Systems Programming with Embedded Domain Specific Languages
- Test-Case Reduction for C Compiler Bugs
- Programming with Algebraic Effects and Handlers
Il y a 8 jours : gasche a commenté « Typed Closure Conversion ».
Il y a 8 jours : gasche a envoyé « Typed Closure Conversion ».
Il y a 1 mois : gasche a fini de lire « Programming with Algebraic Effects and Handlers ».
Il y a 1 mois : gasche a fini de lire « Programming with Algebraic Effects and Handlers ».
Il y a 1 mois : gasche a envoyé « Programming with Algebraic Effects and Handlers ».
Il y a 1 mois : gasche a fini de lire « Test-Case Reduction for C Compiler Bugs ».
Il y a 1 mois : gasche a envoyé « Test-Case Reduction for C Compiler Bugs ».
Il y a 7 mois : gasche a commenté « Allocation Removal by Partial Evaluation in a Tracing JIT ».
Il y a 7 mois : gasche a envoyé « Allocation Removal by Partial Evaluation in a Tracing JIT ».
Il y a 7 mois : gasche a édité « The Next 700 Data Description Languages (PDF) ».
Il y a 7 mois : gasche a envoyé « The Next 700 Data Description Languages (PDF) ».
Il y a 7 mois : gasche a commenté « Exceptional syntax ».
Il y a 7 mois : gasche a envoyé « Exceptional syntax ».
Il y a 7 mois : gasche a envoyé « Optimization of dynamic languages using hierarchical layering of virtual machines ».
Il y a 8 mois : gasche a commenté « Resource-safe Systems Programming with Embedded Domain Specific Languages ».
Il y a 8 mois : gasche a commenté « Resource-safe Systems Programming with Embedded Domain Specific Languages ».
Il y a 8 mois : gasche a commenté « Relaxing the Value Restriction ».
Il y a 8 mois : gasche a envoyé « Relaxing the Value Restriction ».
Il y a 8 mois : gasche a édité « Formal Proof -- The Four-Colors Theorem ».
Il y a 8 mois : gasche a édité « Formal Proof -- The Four-Colors Theorem ».
Il y a 8 mois : gasche a édité « Formal Proof -- The Four-Colors Theorem ».
Il y a 8 mois : gasche a envoyé « Formal Proof -- The Four-Colors Theorem ».
Il y a 8 mois : gasche a édité « Yield : Mainstream Delimited Continuations ».
Il y a 8 mois : gasche a envoyé « Yield : Mainstream Delimited Continuations ».
Il y a 10 mois : gasche a commenté « Do we Need Dependent Types? ».
Il y a 11 mois : gasche a édité « Do we Need Dependent Types? ».
Il y a 11 mois : gasche a commenté « Do we Need Dependent Types? ».
Il y a 11 mois : gasche a commenté « Specification and Verification: The Spec# Experience ».
Il y a 11 mois : gasche a commenté « Specification and Verification: The Spec# Experience ».
Il y a 11 mois : gasche a envoyé « Specification and Verification: The Spec# Experience ».