Search
 
   

15 results for "domain:lambda-the-ultimate.org"

  1. 22
    Chez Scheme now open-source lisp programming lambda-the-ultimate.org
    adamo avatar via adamo 11 months ago | cached | 2 comments
  2. 16
    hobbes, Morgan Stanley OSS ☶ finance programming lambda-the-ultimate.org
    solidsnack avatar via solidsnack 1 year ago | cached | 2 comments
  3. 14
    What is the type of eval? lisp ml lambda-the-ultimate.org
    bsima avatar via bsima 1 year ago | cached | no comments
  4. 4
    kdb+ 3.5 released last month databases lambda-the-ultimate.org
    apy avatar via apy 1 year ago | cached | 5 comments
  5. 6
    Do Be Do Be Do (Frank language) compsci programming lambda-the-ultimate.org
    xcombelle avatar via xcombelle 1 year ago | cached | no comments
  6. 22
    Programming by poking: why MIT stopped teaching SICP lisp practices programming lambda-the-ultimate.org
    michaelochurch avatar via michaelochurch 1 year ago | cached | 7 comments
  7. 7
    Djinn, a theorem prover in Haskell, for Haskell (2005) ☶ haskell math programming lambda-the-ultimate.org
    zedoary avatar via zedoary 1 year ago | cached | no comments
  8. 4
    Eve: the development diary of a programming environment aimed at non-programmers programming release lambda-the-ultimate.org
    pushcx avatar via pushcx 3 years ago | cached | no comments
  9. 23
    Some notes on Rust, the language. rust lambda-the-ultimate.org
    DrM avatar via DrM 3 years ago | cached | 12 comments
  10. 1
    Zélus : A Synchronous Language with ODEs compsci science lambda-the-ultimate.org
    animatronic avatar via animatronic 3 years ago | cached | no comments
  11. 9
    Why do we need modules at all? [Lambda the Ultimate discussion] compsci programming lambda-the-ultimate.org
    zem avatar via zem 3 years ago | cached | 4 comments
  12. 8
    Programming with Managed Time programming lambda-the-ultimate.org
    apg avatar via apg 4 years ago | cached | no comments
  13. 1
    Determinism Is Not Enough: Making Parallel Programs Reliable with Stable Multithreading compsci programming lambda-the-ultimate.org
    apy avatar via apy 4 years ago | cached | no comments
  14. 5
    A glimpse into a new general purpose programming language under development at Microsoft ☶ c programming lambda-the-ultimate.org
    journeysquid avatar via journeysquid 4 years ago | cached | no comments
  15. 3
    (Confessions From A Recovering Typoholic) programming lambda-the-ultimate.org
    SeanTAllen avatar via SeanTAllen 4 years ago | cached | no comments