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
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 52; Issue 1
Main
ACM SIGPLAN Notices
Volume 52; Issue 1
ACM SIGPLAN Notices
Volume 52; Issue 1
1
Parallel functional arrays
Kumar, Ananya
,
Blelloch, Guy E.
,
Harper, Robert
Journal:
ACM SIGPLAN Notices
Year:
2017
Language:
english
File:
PDF, 495 KB
Your tags:
english, 2017
2
Learning nominal automata
Moerman, Joshua
,
Sammartino, Matteo
,
Silva, Alexandra
,
Klin, Bartek
,
Szynwelski, Michał
Journal:
ACM SIGPLAN Notices
Year:
2017
Language:
english
File:
PDF, 334 KB
Your tags:
english, 2017
3
Fast polyhedra abstract domain
Singh, Gagandeep
,
Püschel, Markus
,
Vechev, Martin
Journal:
ACM SIGPLAN Notices
Year:
2017
Language:
english
File:
PDF, 785 KB
Your tags:
english, 2017
4
LMS-Verify: abstraction without regret for verified systems programming
Amin, Nada
,
Rompf, Tiark
Journal:
ACM SIGPLAN Notices
Year:
2017
Language:
english
File:
PDF, 268 KB
Your tags:
english, 2017
5
Computational higher-dimensional type theory
Angiuli, Carlo
,
Harper, Robert
,
Wilson, Todd
Journal:
ACM SIGPLAN Notices
Year:
2017
Language:
english
File:
PDF, 382 KB
Your tags:
english, 2017
6
LightDP: towards automating differential privacy proofs
Zhang, Danfeng
,
Kifer, Daniel
Journal:
ACM SIGPLAN Notices
Year:
2017
Language:
english
File:
PDF, 557 KB
Your tags:
english, 2017
7
Type systems as macros
Chang, Stephen
,
Knauth, Alex
,
Greenman, Ben
Journal:
ACM SIGPLAN Notices
Year:
2017
Language:
english
File:
PDF, 534 KB
Your tags:
english, 2017
8
A program optimization for automatic database result caching
Scully, Ziv
,
Chlipala, Adam
Journal:
ACM SIGPLAN Notices
Year:
2017
Language:
english
File:
PDF, 515 KB
Your tags:
english, 2017
9
QWIRE: a core language for quantum circuits
Paykin, Jennifer
,
Rand, Robert
,
Zdancewic, Steve
Journal:
ACM SIGPLAN Notices
Year:
2017
Language:
english
File:
PDF, 258 KB
Your tags:
english, 2017
10
Deciding equivalence with sums and the empty type
Scherer, Gabriel
Journal:
ACM SIGPLAN Notices
Year:
2017
Language:
english
File:
PDF, 490 KB
Your tags:
english, 2017
11
Type soundness proofs with definitional interpreters
Amin, Nada
,
Rompf, Tiark
Journal:
ACM SIGPLAN Notices
Year:
2017
Language:
english
File:
PDF, 269 KB
Your tags:
english, 2017
12
Monadic second-order logic on finite sequences
D'Antoni, Loris
,
Veanes, Margus
Journal:
ACM SIGPLAN Notices
Year:
2017
Language:
english
File:
PDF, 946 KB
Your tags:
english, 2017
13
On verifying causal consistency
Bouajjani, Ahmed
,
Enea, Constantin
,
Guerraoui, Rachid
,
Hamza, Jad
Journal:
ACM SIGPLAN Notices
Year:
2017
Language:
english
File:
PDF, 443 KB
Your tags:
english, 2017
14
Towards automatic resource bound analysis for OCaml
Hoffmann, Jan
,
Das, Ankush
,
Weng, Shu-Chun
Journal:
ACM SIGPLAN Notices
Year:
2017
Language:
english
File:
PDF, 371 KB
Your tags:
english, 2017
15
A posteriori environment analysis with Pushdown Delta CFA
Germane, Kimball
,
Might, Matthew
Journal:
ACM SIGPLAN Notices
Year:
2017
Language:
english
File:
PDF, 510 KB
Your tags:
english, 2017
16
Contract-based resource verification for higher-order functions with memoization
Madhavan, Ravichandhran
,
Kulal, Sumith
,
Kuncak, Viktor
Journal:
ACM SIGPLAN Notices
Year:
2017
Language:
english
File:
PDF, 399 KB
Your tags:
english, 2017
17
LOIS: syntax and semantics
Kopczyński, Eryk
,
Toruńczyk, Szymon
Journal:
ACM SIGPLAN Notices
Year:
2017
Language:
english
File:
PDF, 312 KB
Your tags:
english, 2017
18
Rigorous floating-point mixed-precision tuning
Chiang, Wei-Fan
,
Baranowski, Mark
,
Briggs, Ian
,
Solovyev, Alexey
,
Gopalakrishnan, Ganesh
,
Rakamarić, Zvonimir
Journal:
ACM SIGPLAN Notices
Year:
2017
Language:
english
File:
PDF, 638 KB
Your tags:
english, 2017
19
Do be do be do
Lindley, Sam
,
McBride, Conor
,
McLaughlin, Craig
Journal:
ACM SIGPLAN Notices
Year:
2017
Language:
english
File:
PDF, 466 KB
Your tags:
english, 2017
20
Type directed compilation of row-typed algebraic effects
Leijen, Daan
Journal:
ACM SIGPLAN Notices
Year:
2017
Language:
english
File:
PDF, 348 KB
Your tags:
english, 2017
21
Typed self-evaluation via intensional type functions
Brown, Matt
,
Palsberg, Jens
Journal:
ACM SIGPLAN Notices
Year:
2017
Language:
english
File:
PDF, 287 KB
Your tags:
english, 2017
22
Dynamic race detection for C++11
Lidbury, Christopher
,
Donaldson, Alastair F.
Journal:
ACM SIGPLAN Notices
Year:
2017
Language:
english
File:
PDF, 334 KB
Your tags:
english, 2017
23
A relational model of types-and-effects in higher-order concurrent separation logic
Krogh-Jespersen, Morten
,
Svendsen, Kasper
,
Birkedal, Lars
Journal:
ACM SIGPLAN Notices
Year:
2017
Language:
english
File:
PDF, 281 KB
Your tags:
english, 2017
24
Mixed-size concurrency: ARM, POWER, C/C++11, and SC
Flur, Shaked
,
Sarkar, Susmit
,
Pulte, Christopher
,
Nienhuis, Kyndylan
,
Maranget, Luc
,
Gray, Kathryn E.
,
Sezgin, Ali
,
Batty, Mark
,
Sewell, Peter
Journal:
ACM SIGPLAN Notices
Year:
2017
Language:
english
File:
PDF, 298 KB
Your tags:
english, 2017
25
Stateful manifest contracts
Sekiyama, Taro
,
Igarashi, Atsushi
Journal:
ACM SIGPLAN Notices
Year:
2017
Language:
english
File:
PDF, 410 KB
Your tags:
english, 2017
26
Stream fusion, to completeness
Kiselyov, Oleg
,
Biboudis, Aggelos
,
Palladinos, Nick
,
Smaragdakis, Yannis
Journal:
ACM SIGPLAN Notices
Year:
2017
Language:
english
File:
PDF, 376 KB
Your tags:
english, 2017
27
A semantic account of metric preservation
Azevedo de Amorim, Arthur
,
Gaboardi, Marco
,
Hsu, Justin
,
Katsumata, Shin-ya
,
Cherigui, Ikram
Journal:
ACM SIGPLAN Notices
Year:
2017
Language:
english
File:
PDF, 269 KB
Your tags:
english, 2017
28
Fencing off go: liveness and safety for channel-based programming
Lange, Julien
,
Ng, Nicholas
,
Toninho, Bernardo
,
Yoshida, Nobuko
Journal:
ACM SIGPLAN Notices
Year:
2017
Language:
english
File:
PDF, 1001 KB
Your tags:
english, 2017
29
Intersection type calculi of bounded dimension
Dudenhefner, Andrej
,
Rehof, Jakob
Journal:
ACM SIGPLAN Notices
Year:
2017
Language:
english
File:
PDF, 260 KB
Your tags:
english, 2017
30
Hypercollecting semantics and its application to static analysis of information flow
Assaf, Mounir
,
Naumann, David A.
,
Signoles, Julien
,
Totel, Éric
,
Tronel, Frédéric
Journal:
ACM SIGPLAN Notices
Year:
2017
Language:
english
File:
PDF, 371 KB
Your tags:
english, 2017
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
×
×