新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

cogumbreiro library [28 articles]

最近 cogumbreiro さんのライブラリ .
  • Call-by-name, call-by-value and the [lambda]-calculus
    Theoretical Computer Science, Vol. 1, No. 2. (December 1975), pp. 125-159.
    by GD Plotkin
    posted to lambda-calculus by cogumbreiro on 2008-02-14 13:22:15 as ** along with 4 people dsilva pintman calvins mvermaat
  • Pict: A Programming Language Based on the Pi-Calculus
    (2000)
    by Benjamin C Pierce, David N Turner
    edited by G Plotkin, C Stirling, M Tofte
    posted to compiler pi-calculus by cogumbreiro on 2008-02-14 13:09:58 as ** along with 4 people jrw tautologico wneumann shimomura
  • Interpreting Functions as $π$-Calculus Processes: a Tutorial
    No. RR-3470. (1998)
    by Davide Sangiorgi
    posted to pi-calculus by cogumbreiro on 2008-02-14 13:09:22 as ** along with 1 person harshrc
  • Communicating and Mobile Systems: the Pi Calculus
    (1999)
    by Robin Milner
    posted to pi-calculus by cogumbreiro on 2008-02-14 13:09:13 as ** along with 2 people shimomura mcclurmc
  • The polyadic pi-calculus: a tutorial
    (1993), pp. 203-246.
    by R Milner
    edited by FL Bauer, W Brauer, H Schwichtenberg
    posted to pi-calculus by cogumbreiro on 2008-02-14 13:08:11 as ** along with 5 people wneumann stagediver calvins neuralwarp jpaulo007
  • Stack-Based Typed Assembly Language
    (1998), pp. 28-52.
    by Gregory J Morrisett, Karl Crary, Neal Glew, David Walker
    posted to stack-machine typed-assembly-language by cogumbreiro on 2008-02-08 00:32:58 as ** along with 1 person tautologico
  • Communicating sequential processes
    Commun. ACM, Vol. 21, No. 8. (August 1978), pp. 666-677.
    by CAR Hoare
    posted to csp process-algebra by cogumbreiro on 2008-01-26 22:58:11 as **** along with 2 people and 4 groups rgb bockfliess pileWorks Wavelets AlgebraicLanguages FPA
  • An Overview of the Andrew File System
    (February 1988)
    by John H Howard
    posted to afs distributed-filesystem by cogumbreiro on 2006-11-27 18:30:32 as read
  • Scalable, Secure, and Highly Available Distributed File Access
    Computer, Vol. 23, No. 5. (1990)
    by Mahadev Satyanarayanan
    posted to distributed-systems by cogumbreiro on 2006-11-27 18:23:18 as **
  • Distributed Systems
    (1993)
    by Michael D Schroeder, Fred B Schneider, William E Weihl, Özalp Babaoglu, Keith Marzullo, Vassos Hadzilacos, Sam Toueg, Navin Budhiraja, Butler W Lampson, Thomas L Rodeheffer, Roger M Needham, M Satyanarayanan, Herman Kopetz, Paulo Veríssimo, Sape J Mullender
    posted to distributed-systems by cogumbreiro on 2006-11-27 18:04:30 as *
  • An Overview of the Andrew File System
    (February 1988)
    by Howard
    posted to afs distributed-filesystem by cogumbreiro on 2006-11-24 15:55:07 as read
  • The chemical abstract machine
    (1990), pp. 81-94.
    by Gérard Berry, Gérard Boudol
    posted to pi-calculus by cogumbreiro on 2006-11-23 10:59:40 as **** along with 6 people mperalta pedagand bfraser erikgarrison scis0000001 mstone
  • Functions as processes
    (June 1989)
    by Robin Milner
    posted to lambda-calculus pi-calculus by cogumbreiro on 2006-11-23 10:39:26 as *****
  • Dynamic Typing in a Statically Typed Language
    ACM Transactions on Programming Languages and Systems, Vol. 13, No. 2. (April 1991), pp. 237-268.
    by Mart∈ Abadi, Luca Cardelli, Benjamin Pierce, Gordon Plotkin
    posted to dynamic dynamic-types dynamic-typing javascript no-tag semantics type-safety type-theory type_theory types by cogumbreiro on 2006-11-13 14:56:03 as ** along with 9 people and 1 group twleung dherman jacob tautologico oliverh amorkan lyongu hannes clausej NU-PRL
  • On understanding types, data abstraction, and polymorphism
    ACM Comput. Surv., Vol. 17, No. 4. (December 1985), pp. 471-523.
    by Luca Cardelli, Peter Wegner
    posted to lambda-calculus polymorphism type-theory types by cogumbreiro on 2006-11-13 14:51:58 as read along with 7 people and 1 group jpbernardy marcinzalewski dalev voigt Bluetulip nodakai chandlerc NU-PRL
  • Modern Compiler Implementation in Java
    (13 December 1997)
    by Andrew W Appel
    posted to compiler java by cogumbreiro on 2006-11-10 15:35:49 as read along with 3 people dsilva schuh sandarwin
  • The pi-Calculus in Direct Style
    Higher-Order and Symbolic Computation, Vol. V11, No. 2. (1 December 1998), pp. 177-208.
    by Gã©rard Boudol
    posted to lambda-calculus pi-calculus by cogumbreiro on 2006-11-10 15:03:44 as **
  • Types and Programming Languages
    (01 March 2002)
    by Benjamin C Pierce
    posted to type-system type-theory types by cogumbreiro on 2006-11-10 14:56:48 as ** along with 15 people and 2 groups jasmithoffice eaubin greenrd sstrickl cedricboidin dsilva voigt msakai bonotake iga AndreasSchropp beschmi robotact srccheck jimburton SRG_at_UCD Lambda the Ultimate
  • A multithreaded typed assembly language
    (August 2006)
    by Vasco T Vasconcelos, Francisco Martins
    posted to concurrency parallel-programming typed-assembly-language by cogumbreiro on 2006-11-10 14:45:53 as read
  • The future of microprocessors
    Queue, Vol. 3, No. 7. (September 2005), pp. 26-29.
    by Kunle Olukotun, Lance Hammond
    posted to chip-multiprocessor microprocessors parallel-programming by cogumbreiro on 2006-11-10 14:35:55 as read
  • From system F to typed assembly language
    ACM Trans. Program. Lang. Syst., Vol. 21, No. 3. (May 1999), pp. 527-568.
    by Greg Morrisett, David Walker, Karl Crary, Neal Glew
    posted to system-f typed-assembly-language typed-intermediate-language types by cogumbreiro on 2006-11-10 14:31:50 as *** along with 2 people eaubin tautologico
  • A Calculus of Mobile Processes, Part II
    No. -86. (1989)
    by Robin Milner, Joachim Parrow, David Walker
    posted to concurrency pi-calculus process-algebra by cogumbreiro on 2006-11-10 14:28:18 as *** along with 3 people Grobi stagediver estrabd
  • PI-Calculus: A Theory of Mobile Processes
    (2001)
    by Davide Sangiorgi, David Walker
    posted to asynchronous concurrency pi-calculus by cogumbreiro on 2006-11-10 14:17:59 as ** along with 3 people eaubin huqingcheng Grobi
  • A Calculus of Mobile Processes, Part I
    No. -86. (1989)
    by Robin Milner, Joachim Parrow, David Walker
    posted to ccs concurrency pi-calculus by cogumbreiro on 2006-11-10 14:17:24 as *** along with 2 people stagediver Templarwzy
  • Test Driven Development: By Example
    (08 November 2002)
    by Kent Beck
    posted to tdd xp by cogumbreiro on 2006-11-10 14:12:16 as read along with 7 people and 2 groups samth fmatthes rvasa martinus teresadaniela metamorphos_bari philosopher0 NU-PRL CDG
  • Communicating and Mobile Systems: the Pi-Calculus
    (15 June 1999)
    by Robin Milner
    posted to ccs concurrency pi-calculus process-algebra by cogumbreiro on 2006-11-10 14:10:42 as read along with 12 people and 2 groups stagediver bfraser kontakte AndreasSchropp osh roland_ewald carmaus mattis23 laurajaros soulism jfischer Grobi dIEMoSIRIS MoSi-Rostock
  • An Object Calculus for Asynchronous Communication
    Lecture Notes in Computer Science, Vol. 512 (1991), pp. 133-??.
    by Kohei Honda, Mario Tokoro
    posted to asynchronous concurrency pi-calculus process-algebra by cogumbreiro on 2006-11-10 14:03:33 as read along with 1 person croys
  • A Pattern Language To Visitors
    (September 2001)
    by Yun Mai, Michel de Champlain
    posted to designpatterns visitorpattern by cogumbreiro on 2006-11-10 13:59:31 as read
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/cogumbreiro

    RIS BibTeX RSS
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.