books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 48; Issue 9
Main
ACM SIGPLAN Notices
Volume 48; Issue 9
ACM SIGPLAN Notices
Volume 48; Issue 9
1
Typed syntactic meta-programming
Devriese, Dominique
,
Piessens, Frank
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 615 KB
Your tags:
english, 2013
2
Fun with semirings
Dolan, Stephen
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 527 KB
Your tags:
english, 2013
3
Using circular programs for higher-order syntax
Axelsson, Emil
,
Claessen, Koen
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 459 KB
Your tags:
english, 2013
4
A practical theory of language-integrated query
Cheney, James
,
Lindley, Sam
,
Wadler, Philip
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 612 KB
Your tags:
english, 2013
5
Efficient divide-and-conquer parsing of practical context-free languages
Bernardy, Jean-Philippe
,
Claessen, Koen
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 588 KB
Your tags:
english, 2013
6
Higher-order functional reactive programming without spacetime leaks
Krishnaswami, Neelakantan R.
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 602 KB
Your tags:
english, 2013
7
Testing noninterference, quickly
Hritcu, Catalin
,
Hughes, John
,
Pierce, Benjamin C.
,
Spector-Zabusky, Antal
,
Vytiniotis, Dimitrios
,
Azevedo de Amorim, Arthur
,
Lampropoulos, Leonidas
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 662 KB
Your tags:
english, 2013
8
Unifying structured recursion schemes
Hinze, Ralf
,
Wu, Nicolas
,
Gibbons, Jeremy
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 598 KB
Your tags:
english, 2013
9
Modular monadic meta-theory
Delaware, Benjamin
,
Keuchel, Steven
,
Schrijvers, Tom
,
Oliveira, Bruno C.d.S.
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 629 KB
Your tags:
english, 2013
10
C-SHORe
Broadbent, Christopher
,
Carayol, Arnaud
,
Hague, Matthew
,
Serre, Olivier
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 524 KB
Your tags:
english, 2013
11
Productive coprogramming with guarded recursion
Atkey, Robert
,
McBride, Conor
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 614 KB
Your tags:
english, 2013
12
Experience report
Petersen, Christian L.
,
Gorges, Matthias
,
Dunsmuir, Dustin
,
Ansermino, Mark
,
Dumont, Guy A.
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 1.42 MB
Your tags:
english, 2013
13
The constrained-monad problem
Sculthorpe, Neil
,
Bracker, Jan
,
Giorgidze, George
,
Gill, Andy
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 435 KB
Your tags:
english, 2013
14
Programming and reasoning with algebraic effects and dependent types
Brady, Edwin
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 379 KB
Your tags:
english, 2013
15
Handlers in action
Kammar, Ohad
,
Lindley, Sam
,
Oury, Nicolas
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 789 KB
Your tags:
english, 2013
16
The bedrock structured programming system
Chlipala, Adam
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 714 KB
Your tags:
english, 2013
17
Computer science as a school subject
Peyton Jones, Simon
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 338 KB
Your tags:
english, 2013
18
Optimizing abstract abstract machines
Johnson, J. Ian
,
Labich, Nicholas
,
Might, Matthew
,
Van Horn, David
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 848 KB
Your tags:
english, 2013
19
Experience report
St-Amour, Vincent
,
Toronto, Neil
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 399 KB
Your tags:
english, 2013
20
Functional geometry and the Traité de Lutherie
Mairson, Harry George
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 922 KB
Your tags:
english, 2013
21
Complete and easy bidirectional typechecking for higher-rank polymorphism
Dunfield, Joshua
,
Krishnaswami, Neelakantan R.
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 608 KB
Your tags:
english, 2013
22
Optimising purely functional GPU programs
McDonell, Trevor L.
,
Chakravarty, Manuel M.T.
,
Keller, Gabriele
,
Lippmeier, Ben
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 703 KB
Your tags:
english, 2013
23
Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency
Turon, Aaron
,
Dreyer, Derek
,
Birkedal, Lars
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 710 KB
Your tags:
english, 2013
24
Exploiting vector instructions with generalized stream fusio
Mainland, Geoffrey
,
Leshchinskiy, Roman
,
Peyton Jones, Simon
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 689 KB
Your tags:
english, 2013
25
Calculating threesomes, with blame
Garcia, Ronald
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 744 KB
Your tags:
english, 2013
26
Mtac
Ziliani, Beta
,
Dreyer, Derek
,
Krishnaswami, Neelakantan R.
,
Nanevski, Aleksandar
,
Vafeiadis, Viktor
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 597 KB
Your tags:
english, 2013
27
Wellfounded recursion with copatterns
Abel, Andreas M.
,
Pientka, Brigitte
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 710 KB
Your tags:
english, 2013
28
Automatic SIMD vectorization for Haskell
Petersen, Leaf
,
Orchard, Dominic
,
Glew, Neal
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 605 KB
Your tags:
english, 2013
29
A short cut to parallelization theorems
Morihata, Akimasa
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 952 KB
Your tags:
english, 2013
30
Hoare-style reasoning with (algebraic) continuations
Delbianco, Germán Andrés
,
Nanevski, Aleksandar
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 455 KB
Your tags:
english, 2013
31
Verified decision procedures for MSO on words based on derivatives of regular expressions
Traytel, Dmitriy
,
Nipkow, Tobias
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 580 KB
Your tags:
english, 2013
32
Simple and compositional reification of monadic embedded languages
Svenningsson, Josef David
,
Svensson, Bo Joel
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 540 KB
Your tags:
english, 2013
33
Interactive programming with dependent types
Norell, Ulf
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 325 KB
Your tags:
english, 2013
34
Functional reactive programming with liveness guarantees
Jeffrey, Alan
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 543 KB
Your tags:
english, 2013
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×