ヒビルテ

論文

2007-01-17#p03 Lightweight Fusion by Fixed Point Promotion. by Atsushi Ohori and Isao Sasano
2007-03-07#p02 ⊤⊤-closed relations and admissibility by Martín Abadi
2007-04-15#p01 Trampolined Style by Steven E. Ganz, Daniel P. Friedman and Mitchell Wand
2007-05-19#p02 “Combining Events And Threads For Scalable Network Services ― Implementation And Evaluation Of Monadic, Application-level Concurrency Primitives”, by Peng Li and Steve Zdancewic
2007-06-22#p01 “Coroutines in Lua” by Ana Lúcia de Moura, Noemi Rodriguez and Roberto Ierusalimschy
2007-07-02#p01 “A formulae-as-types interpretation of Subtractive Logic” by Tristan Crolard
2007-07-25#p01 “Ropes: an Alternative to Strings” by Hans-J. Boehm, Russ Atkinson and Michael Plass
2007-07-29#p02 “Finger Trees: A Simple General-purpose Data Structure” by Ralf Hinze and Ross Paterson
2007-10-19#p01 “Algebraic laws for nondeterminism and concurrency” by Matthew Hennessy and Robin Milner
2007-10-30#p01 “Faster laziness using dynamic pointer tagging” by Simon Marlow, Alexey Rodriguez Yakushev, Simon Peyton Jones
2007-11-02#p02 “Metamorphic Programming Extension to Haskell” by Martin Erwig
2007-11-04#p02 “Program-ing Finger Trees in Coq” by Matthieu Sozeau
2007-11-06#p01 “State of the Union: Type Inference via Craig Interpolation” by Ranjit Jhala, Rupak Majumdar and Ru-Gang Xu
2007-11-16#p01 “Why it's nice to be quoted: quasiquoting for haskell” by Geoffrey Mainland
2007-11-27#p02 “Context Threading: A flexible and efficient dispatch technique for virtual machine interpreters” by Marc Berndl, Benjamin Vitale, Mathew Zaleski and Angela Demke Brown
2007-12-02#p04 “A simple propositional S5 tableau system” by Melvin Fitting
2007-12-17#p01 “Mechanizing common knowledge logic using COQ” by Pierre Lescanne

ヒビルテ [論文 (2007年)]

論文