Register | Log in | FAQ      [?] 

Tag languages [358 articles]

Recent papers classified by the tag languages.
  • Cg: a system for programming graphics hardware in a C-like language
    (2003), pp. 896-907.
    by William R Mark, Steven R Glanville, Kurt Akeley, Mark J Kilgard
    posted to cg languages programming by yodha on 2007-06-20 14:19:52 as *****
  • Design languages
    (1996), pp. 63-85.
    by John Rheinfrank, Shelley Evenson
    posted to design languages mathgamespatterns by yish on 2006-02-10 12:17:46 as *** along with 1 person and 4 groups flgeyer mathgamespatterns dtl vds-arg eni
  • Lingua Francas for design: sacred places and pattern languages
    (2000), pp. 357-368.
    by Thomas Erickson
    posted to alexander design designpatterns languages mathgamespatterns mexicali patterns software by yish on 2006-02-10 12:12:09 as ** along with 7 people and 5 groups sga72 MorganHill spinster staffan aku8000 J_Raff Torsten_Holmer mathgamespatterns dtl vds-arg what_is_a_library eni
  • A Classification Framework to Support the Design of Visual Languages
    Journal of Visual Languages & Computing, Vol. 13, No. 6. (December 2002), pp. 573-600.
    by G Costagliola, A Delucia, S Orefice, G Polese
    posted to design formalism languages programming visual by yish on 2005-11-16 21:32:07 as ** along with 1 person and 4 groups mxp mathgamespatterns dtl vds-arg eni
  • notes Why no one uses functional languages
    SIGPLAN Not., Vol. 33, No. 8. (August 1998), pp. 23-27.
    by Philip Wadler
    posted to functional languages lisp logo programming psychology scheme by yish on 2006-01-11 17:50:02 as **** along with 10 people and 6 groups samth twleung dherman jacob hamish greenrd voigt robennals umbra ryanc NU-PRL mathgamespatterns SRG_at_UCD dtl vds-arg eni
  • The next 700 programming languages
    Commun. ACM, Vol. 9, No. 3. (March 1966), pp. 157-166.
    by PJ Landin
    posted to languages by yang on 2006-09-25 17:24:15 as ** along with 10 people cedricboidin wnoise mbravenboer pintman bunge tov jwm0123 calvins flavian_vasile conal
  • MultiJava: Modular Open Classes and Symmetric Multiple Dispatch for Java
    Vol. 35(10) (2000), pp. 130-145.
    by Curtis Clifton, Gary T Leavens, Craig Chambers, Todd Millstein
    posted to java languages by yang on 2006-09-07 20:58:26 as **
  • Featherweight Java: A Minimal Core Calculus for Java and GJ
    Vol. 34(10) (1999), pp. 132-146.
    by Atshushi Igarashi, Benjamin Pierce, Philip Wadler
    edited by Loren Meissner
    posted to java languages by yang on 2006-09-07 20:57:59 as ** along with 4 people and 1 group samth KarlKlose sjrogers mcclurmc NU-PRL
  • Squeak: A language for Communicating with Mice
    Vol. 19 (1985), pp. 199-204.
    by Luca Cardelli, Robert Pike
    edited by BA Barsky
    posted to concurrency languages by yang on 2006-11-25 05:44:07 as **
  • Disambiguation Filters for Scannerless Generalized LR Parsers
    (2002), pp. 143-158.
    by Mark van den Brand, Jeroen Scheerder, Jurgen J Vinju, Eelco Visser
    posted to languages rsc by yang on 2007-04-14 03:15:35 as **
  • Composable attribute grammars: support for modularity in translator design and implementation
    (1992), pp. 223-234.
    by R Farrow, TJ Marlowe, DM Yellin
    posted to languages rsc by yang on 2007-04-14 03:15:33 as ** along with 1 person mbravenboer
  • Dynamic heap type inference for program understanding and debugging
    SIGPLAN Not., Vol. 42, No. 1. (January 2007), pp. 39-46.
    by Marina Polishchuk, Ben Liblit, Chlo&\#235; W Schulze
    posted to languages rsc by yang on 2007-04-14 03:14:44 as **
  • Program Transformation with Scoped Dynamic Rewrite Rules
    Fundam. Inf., Vol. 69, No. 1-2. (2006), pp. 123-178.
    by Martin Bravenboer, Arthur van Dam, Karina Olmos, Eelco Visser
    posted to languages rsc by yang on 2007-04-14 03:14:40 as **
  • Region streams: functional macroprogramming for sensor networks
    (2004), pp. 78-87.
    by Ryan Newton, Matt Welsh
    posted to distributed functional languages macroprogramming sensornets by yang on 2006-09-22 21:24:37 as ***** along with 2 people dsilva Inopia
  • Views: A Way for Pattern Matching to Cohabit with Data Abstraction
    (1987), pp. 307-312.
    by Philip Wadler
    edited by Steve Munchnik
    posted to languages by yang on 2007-05-21 20:58:29 as *
  • C Programming Language (2nd Edition)
    (22 March 1988)
    by Brian W Kernighan, Dennis Ritchie, Dennis M Ritchie
    posted to reference programming languages c by velasco on 2007-01-27 14:11:09 as read along with 12 people ujh reisender sprite alec gardak leftlu ljcamargos padraic bringert aespinosa alexzeh citeasm
  • GEL: Grid execution language
    Journal of Parallel and Distributed Computing, Vol. 65, No. 7. (July 2005), pp. 857-869.
    by C Ching, Francis Tang, Praveen Issac, Arun Krishnan
    posted to grid languages by uroscibej on 2005-06-15 13:38:42 as read
  • A comparison of common programming languages used in bioinformatics
    BMC Bioinformatics, Vol. 9, No. 1. (2008)
    by Mathieu Fourment, Michael Gillings
    posted to comparison languages programming by urgi on 2008-02-12 15:34:00 as read along with 8 people jyuh dullhunk laughcry ibuch sci91078 renatomilani xili03 phoenixzxl
  • Essential language support for generic programming
    Vol. 40, No. 6. (June 2005), pp. 73-84.
    by Jeremy G Siek, Jeremy Siek, Andrew Lumsdaine
    posted to cs languages polymorphism programming theory type by thsutton on 2006-03-21 08:17:33 as ***** along with 3 people yallop bec jsiek
  • Language Primitives and Type Discipline for Structured Communication-Based Programming
    (1998), pp. 122-138.
    by Kohei Honda, Vasco T Vasconcelos, Makoto Kubo
    posted to calculus cs languages logic parallel pi process programming theory type by thsutton on 2006-03-12 02:33:06 as *** along with 1 person keigoi
  • An efficient implementation of SELF a dynamically-typed object-oriented language based on prototypes
    SIGPLAN Not., Vol. 24, No. 10. (October 1989), pp. 49-70.
    by C Chambers, D Ungar, E Lee
    posted to cs dynamic implementation languages oo programming prototypes theory type by thsutton on 2006-03-19 04:00:30 as read
  • Towards Applicative Relational Programming
    (28 Feb 2006)
    by H Ibrahim, MH van Emden
    posted to constraint cs functional languages programming by thsutton on 2006-03-04 00:51:57 as **
  • Recursive functions of symbolic expressions and their computation by machine, Part I
    Commun. ACM, Vol. 3, No. 4. (April 1960), pp. 184-195.
    by John Mccarthy
    posted to cs data functional languages lisp programming by thsutton on 2006-03-18 11:13:35 as ***** along with 4 people and 1 group mxp egh rzach lop LogicPhilMath
  • Advanced Topics In Types And Programming Languages
    (19 November 2004)
    by Benjamin C Pierce
    posted to books cs functional languages logic programming theory type by thsutton on 2006-03-06 04:20:05 as ** along with 6 people and 1 group sstrickl tautologico voigt lyongu msakai jimburton Lambda the Ultimate
  • A Polymorphic Type System for Extensible Records and Variants
    No. NOTTCS-TR-96-3. (November 1996)
    by Benedict R Gaster, Mark P Jones
    posted to cs languages programming theory type by thsutton on 2006-02-26 06:00:03 as **** along with 7 people and 1 group dherman JeffreyPalmer sstrickl tautologico lyongu ryanc americovargas NU-PRL
  • notes Putting curry-howard to work
    (2005), pp. 74-85.
    by Tim Sheard
    posted to cs languages logic programming theory type by thsutton on 2006-02-26 05:51:35 as **** along with 10 people and 3 groups greenrd plaugg yallop voigt mahler KarlKlose mcclurmc robotact jimburton americovargas Rightscom SRG_at_UCD Lambda the Ultimate
  • iRho: an imperative rewriting calculus
    (2004), pp. 167-178.
    by Luigi Liquori, Bernard P Serpette
    posted to calculus languages matching pattern programming rewriting by thsutton on 2006-02-26 04:41:57 as ****
  • Threads cannot be implemented as a library
    Vol. 40, No. 6. (June 2005), pp. 261-268.
    by H Hans-J
    posted to compilers concurrency cs languages programming threads by thsutton on 2006-04-11 05:03:54 as read along with 8 people LittleWood kinaba JosephKoshy qiongc arsyed damaru Bluetulip brothers
  • Language support for lightweight transactions
    Vol. 38, No. 11. (November 2003), pp. 388-402.
    by Tim Harris, Keir Fraser
    posted to concurrency cs languages programming transactions by thsutton on 2006-03-31 06:28:45 as *** along with 8 people and 1 group tautologico robennals epaulson spl janschaefer RalfMitschke brecknell getpost TU-KL-SoftwareTechnologyGroup
  • Fun of Programming (Cornerstones of Computing S.)
    (30 June 2005)
    by Jeremy Gibbons, Oege de Moor
    posted to functional haskell languages programming by thsutton on 2006-03-27 13:27:00 as **** along with 2 people spl jimburton
  • Permission-based ownership: encapsulating state in higher-order typed languages
    Vol. 40, No. 6. (June 2005), pp. 96-106.
    by Neel Krishnaswami, Jonathan Aldrich
    posted to cs languages ownership programming theory type by thsutton on 2006-03-31 00:16:34 as *** along with 1 person bec
  • Functional programming: more fundamental than BASIC
    SIGPLAN Lisp Pointers, Vol. VI, No. 2. (1993), pp. 43-48.
    by Iain Ferguson
    posted to cs education languages programming by thsutton on 2006-03-27 13:00:45 as ***
  • An expressive language of signatures
    SIGPLAN Not., Vol. 40, No. 9. (September 2005), pp. 27-40.
    by Norman Ramsey, Kathleen Fisher, Paul Govereau
    posted to cs languages programming theory type by thsutton on 2006-02-26 23:14:41 as **** along with 2 people zednenem josefs
  • Proof-Carrying Code
    (jan 1997), pp. 106-119.
    by George C Necula
    posted to languages pcc types by tautologico on 2005-03-19 00:17:55 as **** along with 1 person amorkan
  • The Quest Language and System
    (1994)
    by L Cardelli
    posted to languages types by tautologico on 2005-03-19 00:09:11 as **** along with 1 person and 1 group dherman NU-PRL
  • 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 concurrency languages pi-calculus by tautologico on 2008-04-11 23:53:23 as ** along with 4 people jrw wneumann cogumbreiro shimomura
  • Decomposing Typed Lambda Calculus into a Couple of Categorical Programming Languages
    (1995), pp. 200-219.
    by Masahito Hasegawa
    posted to category-theory lambda-calculus languages by tautologico on 2007-11-04 15:45:20 as ** along with 1 person fensef
  • A critique of Abelson and Sussman or why calculating is better than scheming
    SIGPLAN Not., Vol. 22, No. 3. (March 1987), pp. 83-94.
    by P Wadler
    posted to languages by tautologico on 2005-12-31 00:04:01 as ** along with 4 people and 1 group samth dherman croys ben_moseley NU-PRL
  • Pascal User Manual and Report: ISO Pascal Standard
    (24 September 1991)
    by Kathleen Jensen, Niklaus Wirth, Andrew B Mickel, James F Miner
    posted to languages by tautologico on 2005-09-07 01:54:53 as * along with 1 person chandlerc
  • Industrial experience with SPARK
    Ada Lett., Vol. XX, No. 4. (2000), pp. 64-68.
    by Roderick Chapman
    posted to formalization languages softnet by sjgaller on 2007-06-01 17:59:59 as ** along with 2 groups Context-driven-testers Desgin-by-Contract
  • Larch: Languages and Tools for Formal
    by Specification G And
    posted to tool formalization languages softnet by sjgaller on 2007-06-01 17:53:52 as **** along with 2 groups Context-driven-testers Desgin-by-Contract
  • Languages as Hyperplanes: Grammatical Inference with String Kernels
    Machine Learning: ECML 2006 (2006), pp. 90-101.
    by Alexander Clark, Christophe Florêncio, Chris Watkins
    posted to hyperplanes kernel-methods languages by Scis0000002 on 2008-03-10 14:04:08 as **
  • Hancock: a language for extracting signatures from data streams
    (2000), pp. 9-17.
    by Corinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers
    posted to languages streams time-series by Scis0000002 on 2008-01-25 14:27:42 as **
  • Meaning in Motion
    (2000)
    by Jeroen Groenendijk, Martin Stokhof
    posted to communities contextuality emergent-semantics information-dynamics languages locality ontologies pluralism subjectivity by Scis0000002 on 2007-08-19 13:38:31 as ** along with 1 person scis0000001
  • Carnap and Quine on the distinction between external and internal questions
    Philosophical Studies, Vol. 33, No. 3. (1 April 1978), pp. 301-312.
    by Bruce N Waller
    posted to unifying unified-concept-theory topos-theory toposes toes representations question-asking metaphilosophical-frameworks metalogical-frameworks mathematical-structures logical-frameworks linguistic-frameworks languages formal-theories computational-complexity-theory complexity-classes coding category-theory categories algorithmic-information-theory by Scis0000002 on 2008-06-27 13:13:44 as ** along with 1 person jrw
  • Combinatorial Group Theory, Inverse Monoids, Automata, And Global Semigroup Theory
    by Manuel Delgado, Stuart Margolis, Benjamin Steinberg
    posted to semigroup-theory languages group-theory combinatorial-group-theory automatons automata by Scis0000002 on 2008-04-27 14:58:29 as **
  • $ω$-languages
    No. 9. (1997)
    by L Staiger
    posted to omega-languages languages by Scis0000002 on 2008-05-22 23:07:54 as **
  • On the expressive power of programming languages
    Sci. Comput. Program., Vol. 17, No. 1-3. (1991), pp. 35-75.
    by Matthias Felleisen
    posted to languages programming by robdockins on 2008-04-20 22:08:52 as read along with 1 person robotact
  • Cognitive Factors in Programming with Diagrams
    Artif. Intell. Rev., Vol. 15, No. 1-2. (2001), pp. 95-114.
    by Alan F Blackwell, Kirsten N Whitley, Judith Good, Marian Petre
    posted to diagrammatic diagrams languages programming visual by rgb on 2006-08-04 10:28:00 as ** along with 2 people and 6 groups yish livingthingdan mathgamespatterns dtl vds-arg eni pileWorks livingthing
  • Executable object modeling with statecharts
    Software Engineering, 1996., Proceedings of the 18th International Conference on (1996), pp. 246-257.
    by D Harel, E Gery
    posted to diagrammatic executable languages modeling object-oriented statecharts systems by rgb on 2006-08-04 10:22:06 as ** along with 2 people and 1 group leonardo takashishi pileWorks
    • Note: You may cite this page as: http://www.citeulike.org/tag/languages

    Result page: 1 2 3 4 5 6 7 8 Next 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.