• Refine your search:
  • 
    Keyword:
    
    • Acknowledgments (1)
    • Applicative (Func- tional) Programming (1)
    • Categories and Subject Descriptors (1)
    • Category theory (1)
    • D.1.1 [Programming Techniques (1)
    • D.3.4 [Programming Languages (1)
    • F.3.2 [Logics and Meanings of Programs (1)
    • F.4.1 [Mathematical Logic and Formal Languages (1)
    • Galois connections (1)
    • Languages (1)
    •   more
  • 
    Creator / Publisher:
    
    • Amr Sabry (7)
    • The Pennsylvania State University CiteSeerX Archives (7)
    • Daniel P. Friedman (3)
    • (ed.) (1)
    • Amr Sabry (editor (1)
    • Andrew Lumsdaine (1)
    • John Field (1)
    • Philip Wadler (1)
    • R. Kent Dybvig (1)
    • Ronald Garcia (1)
    •   more
  • 
    Year
  • 
    Medium:
    
    • Online (7)
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 7 of 7 1 A.: Lazy evaluation and delimited control Ronald Garcia; Andrew Lumsdaine; Amr Sabry In: http://www.osl.iu.edu/publications/prints/2009/garcia09popl-lazy.pdf (2009) BASE Show details 2 Proceedings of the Third ACM SIGPLAN Workshop on Continuations (CW'01) Amr Sabry; (ed.); Amr Sabry (editor... In: http://www.cs.indiana.edu/hyplan/sabry/papers/cw2001.ps (2001) BASE Show details 3 Recursion is a Computational Effect Daniel P. Friedman; Amr Sabry In: http://www.cs.indiana.edu/l/www/ftp/techreports/TR546.pdf (2000) BASE Show details 4 Recursion is a Computational Effect Daniel P. Friedman; Amr Sabry In: http://www.cs.indiana.edu/~sabry/papers/recursion-monads-tr.pdf (2000) BASE Show details 5 A reflection on call-by-value Amr Sabry; Philip Wadler In: http://homepages.inf.ed.ac.uk/wadler/papers/reflection-journal/reflection-journal.pdf (1996) BASE Show details 6 Reasoning about Explicit and Implicit Representations of State Amr Sabry; John Field In: http://www.cs.rice.edu/CS/PLT/Publications/./sipl94-sf.ps.gz (1993) BASE Show details 7 A Monadic Framework for Delimited Continuations R. Kent Dybvig; Simon Peyton Jones; Amr Sabry In: http://semarch.linguistics.fas.nyu.edu/barker/dybvig-et-al-monadic-delimited.pdf Abstract: Delimited continuations are more expressive than traditional abortive continuations and they apparently require a framework beyond traditional continuation-passing style (CPS). We show that this is not the case: standard CPS is sufficient to explain the common control operators for delimited continuations. We demonstrate this fact and present an implementation as a Scheme library. We then investigate a typed account of delimited continuations that makes explicit where control effects can occur. This results in a monadic framework for typed and encapsulated delimited continuations, which we design and implement as a Haskell library. URL: http://semarch.linguistics.fas.nyu.edu/barker/dybvig-et-al-monadic-delimited.pdf http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.185.4693 BASE Hide details

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 7 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0