Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

Benja's library [64 articles]

Recent papers added to Benja's library.
  • Growing a Language
    Higher-Order and Symbolic Computation, Vol. 12, No. 3. (1999), pp. 221-236.
    by Guy L Steele
    posted to no-tag by Benja on 2006-12-12 21:39:42 as read along with 6 people carsonr bunge BenWiedermann ajk brothers ds
  • Building interpreters by composing monads
    (1994), pp. 472-492.
    by Guy Steele
    edited by Ac
    posted to no-tag by Benja on 2006-12-12 21:34:11 as read along with 5 people and 1 group JacquesC rwtodd cedricboidin bunge glaubersp NU-PRL
  • Comprehending Monads
    (1990), pp. 61-78.
    by PL Wadler
    posted to no-tag by Benja on 2006-12-12 19:12:34 as *** along with 29 people and 2 groups hellige rgrig JeffreyPalmer Darius rwtodd jrw creswick cedricboidin zednenem bfraser ben_moseley scis0000001 msn mstone bunge rgb jsala meiersi jasonmc glaubersp ds conal cdiggins cognominal benchambers kazuya hayeah mmarcus donniejones18 SRG_at_UCD pileWorks
  • Monad transformers and modular interpreters
    (1995), pp. 333-343.
    by Sheng Liang, Paul Hudak, Mark Jones
    edited by Ac
    posted to no-tag by Benja on 2006-12-12 19:12:00 as ***** along with 8 people and 1 group greenrd JeffreyPalmer tautologico zednenem jsala glaubersp conal americovargas SRG_at_UCD
  • A Functional Formulation of First-Order Logic `With Infinity' Without Bound Variables
    by M Holmes
    posted to no-tag by Benja on 2006-10-13 05:22:00 as ***
  • Systems of combinatory logic related to Quine's `New Foundations'
    Annals of Pure and Applied Logic, Vol. 53, No. 2. (19 July 1991), pp. 103-133.
    by Randall M Holmes
    posted to no-tag by Benja on 2006-10-13 05:06:29 as ****
  • Systems of combinatory logic related to predicative and `mildly impredicative' fragments of Quine's `New Foundations'
    Annals of Pure and Applied Logic, Vol. 59, No. 1. (1 January 1993), pp. 45-53.
    by Randall M Holmes
    posted to no-tag by Benja on 2006-10-13 05:06:25 as ****
  • Discrete polymorphism
    (1990), pp. 288-297.
    by Daniel Leivant
    posted to infinite intersection types by Benja on 2006-09-29 19:26:50 as **
  • Infinite intersection types
    Information and Computation, Vol. 186, No. 2. (1 November 2003), pp. 285-318.
    by Marcello M Bonsangue, Joost N Kok
    posted to no-tag by Benja on 2006-09-29 19:22:29 as **
  • Intersection type assignment systems
    Theoretical Computer Science, Vol. 151, No. 2. (27 November 1995), pp. 385-435.
    by Steffen van Bakel
    posted to no-tag by Benja on 2006-09-29 19:01:09 as **
  • The essence of principal typings
    (2002)
    by J Wells
    posted to no-tag by Benja on 2006-09-29 18:55:57 as ** along with 1 person JeffreyPalmer
  • Intersection Types, Lambda-models and Böhm Trees
    posted to no-tag by Benja on 2006-09-24 16:42:36 as ****
  • On the Role of Implication in Formal Logic
    The Journal of Symbolic Logic, Vol. 65, No. 3. (2000), pp. 1076-1114.
    by Jonathan P Seldin
    posted to no-tag by Benja on 2006-09-18 14:31:11 as **
  • The inconsistency of F^21
    by Martin Bunder
    posted to no-tag by Benja on 2006-09-18 13:37:39 as ***
  • The calculus of constructions
    by T Coquand, G Huet
    posted to no-tag by Benja on 2006-09-02 18:31:16 as **
  • Metamathematical investigations of a calculus of constructions
    (1989)
    by Thierry Coquand
    posted to no-tag by Benja on 2006-09-02 14:06:15 as **
  • An Extended Calculus of Constructions
    (1990)
    by Zhaohui Luo
    posted to no-tag by Benja on 2006-08-31 21:23:21 as ** along with 4 people and 1 group msakai xiemaisi glaubersp Scis0000002 AS-IIS_ReadingGroup
  • Variants of the Basic Calculus of Constructions
    by MW Bunder, Jonathan P Seldin
    posted to no-tag by Benja on 2006-08-31 20:20:21 as **
  • A Module Calculus for Pure Type Systems
    (1997)
    by Judicael Courant
    edited by R Hindley
    posted to no-tag by Benja on 2006-08-29 19:29:28 as ** along with 1 person EdwardKmett
  • Computational lambda-calculus and monads
    Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on (1989), pp. 14-23.
    by E Moggi
    posted to no-tag by Benja on 2006-08-29 17:32:40 as ** along with 8 people and 1 group JeffreyPalmer voigt msakai bonotake dmitri83 aleks EdwardKmett mcclurmc Compilers
  • Codata and Comonads in Haskell
    (1999)
    by Richard Kieburtz
    posted to no-tag by Benja on 2006-08-29 16:21:41 as ** along with 1 person and 1 group dherman NU-PRL
  • Completeness of Intuitionistic Propositional Calculus (draft)
    (March 2000)
    by Harvey Friedman
    posted to no-tag by Benja on 2006-08-29 12:37:50 as **
  • Completeness of Intuitionistic Logic (FOM post)
    by Harvey Friedman
    posted to no-tag by Benja on 2006-08-29 12:02:12 as read
  • Lambda Calculi with Types
    Vol. 2 (1992)
    by Henk Barendregt
    posted to no-tag by Benja on 2006-08-28 19:05:06 as **** along with 8 people and 1 group pnkfelix tautologico xiemaisi glaubersp ds mmarcus jimburton d23 AS-IIS_ReadingGroup
  • On the relation between Church-style typing and Curry-style typing
    (2004)
    by Jonathan P Seldin
    posted to no-tag by Benja on 2006-08-28 18:44:36 as **
  • Logical Frameworks
    by Frank Pfenning
    posted to no-tag by Benja on 2006-08-27 18:47:33 as read
  • A framework for defining logics
    J. ACM, Vol. 40, No. 1. (January 1993), pp. 143-184.
    by Robert Harper, Furio Honsell, Gordon Plotkin
    posted to no-tag by Benja on 2006-08-27 14:21:18 as *** along with 2 people eaubin bringert
  • Combinators and classes
    (1975), pp. 1-26.
    by Dana S Scott
    posted to no-tag by Benja on 2006-08-26 23:41:22 as read
  • A deduction theorem for restricted generality
    by Martin W Bunder
    posted to no-tag by Benja on 2006-08-26 20:33:43 as *****
  • Various systems of set theory based on combinatory logic
    by Martin W Bunder
    posted to no-tag by Benja on 2006-08-26 18:36:14 as *****
  • Propositional and predicate calculuses based on combinatory logic
    by Martin W Bunder
    posted to no-tag by Benja on 2006-08-26 18:34:09 as *****
  • The Combinatory Foundations of Mathematical Logic
    The Journal of Symbolic Logic, Vol. 7, No. 2. (1942), pp. 49-64.
    by Haskell B Curry
    posted to no-tag by Benja on 2006-08-26 18:02:41 as read
  • A paradox in illative combinatory logic
    by Martin W Bunder
    posted to no-tag by Benja on 2006-08-26 17:56:57 as read
  • Scott's models and illative combinatory logic
    by Martin W Bunder
    posted to no-tag by Benja on 2006-08-24 19:12:06 as read
  • M-LISP: its natural semantics and equational logic
    (1991), pp. 234-242.
    by Robert Muller
    posted to lisp by Benja on 2006-08-24 09:59:23 as ***
  • Reflection and semantics in LISP
    (1984), pp. 23-35.
    by Brian C Smith
    posted to 3-lisp lisp reflection by Benja on 2006-08-24 09:59:15 as read along with 2 people scis0000001 ingstrup
  • Reflective metalogical frameworks
    ACM Trans. Comput. Logic, Vol. 5, No. 3. (July 2004), pp. 528-576.
    by David Basin, Manuel Clavel, Jos&\#233; Meseguer
    posted to no-tag by Benja on 2006-08-24 09:49:43 as ** along with 3 people and 1 group dalev scis0000001 Scis0000002 NU-PRL
  • Duplication and partial evaluation --- for a better understanding of reflective languages -
    Lisp and Symbolic Computation, Vol. 9, No. 2/3. (/ 1996), pp. 203-241.
    by Kenichi Asai, Satoshi Matsuoka, Akinori Yonezawa
    posted to no-tag by Benja on 2006-08-24 09:49:16 as ** along with 1 person and 1 group dalev NU-PRL
  • A Tutorial on Behavioral Reflection and its Implementation
    posted to no-tag by Benja on 2006-08-24 09:46:31 as read
  • The mystery of the tower revealed: a non-reflective description of the reflective tower
    (1986), pp. 298-307.
    by Mitchell Wand, Daniel P Friedman
    posted to no-tag by Benja on 2006-08-24 09:44:52 as *** along with 1 person and 1 group dalev NU-PRL
  • Lambda: The Ultimate Imperative
    (1976)
    by Guy L Steele, Gerald J Sussman
    posted to no-tag by Benja on 2006-08-24 09:43:03 as ** along with 7 people and 3 groups samth numata rahul ajk tov brothers mbrentharp NU-PRL SRL Lambda the Ultimate
  • MULTILISP: a language for concurrent symbolic computation
    ACM Trans. Program. Lang. Syst., Vol. 7, No. 4. (October 1985), pp. 501-538.
    by Robert H Halstead
    posted to no-tag by Benja on 2006-08-24 09:42:47 as ** along with 4 people jrw proportional ajk clconway
  • Scheme: A Interpreter for Extended Lambda Calculus
    Higher Order Symbol. Comput., Vol. 11, No. 4. (December 1998), pp. 405-439.
    by Gerald J Sussman, Guy L Steele
    posted to no-tag by Benja on 2006-08-24 09:42:26 as ** along with 2 people ajk brothers
  • The First Report on Scheme Revisited
    Higher Order Symbol. Comput., Vol. 11, No. 4. (December 1998), pp. 399-404.
    by Gerald J Sussman, Guy L Steele
    posted to no-tag by Benja on 2006-08-24 09:42:02 as ** along with 1 person ajk
  • Compiling Lazy Functional Languages: An introduction
    by Thomas Johnsson
    posted to no-tag by Benja on 2006-08-24 09:41:08 as ** along with 4 people jrw tautologico ajk ds
  • Laziness without all the hard work: combining lazy and strict languages for teaching
    (2005), pp. 9-13.
    by Eli Barzilay, John Clements
    posted to no-tag by Benja on 2006-08-24 09:40:08 as ** along with 2 people and 1 group dherman ajk NU-PRL
  • Correct and optimal implementations of recursion in a simple programming language
    (1973), pp. 224-239.
    by Jean Vuillemin
    posted to no-tag by Benja on 2006-08-24 09:39:38 as ** along with 1 person ajk
  • ESC/Haskell (well, Dana N. Xu's homepage, because it's the best HTML link I can find)
    posted to no-tag by Benja on 2006-08-22 17:24:36 as ****
  • Program transformation by solving recurrences
    (2006), pp. 121-129.
    by Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo
    posted to no-tag by Benja on 2006-08-22 11:32:53 as **
  • Papers related to GHC (Wiki page)
    posted to implementation by Benja on 2006-08-21 15:54:09 as **
    • Note: You may cite this page as: http://www.citeulike.org/user/Benja

    Result page: 1 2 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.