Account name:
Password
(OpenID?)
(Forgot it?)
Remember Me
You're viewing
xacid
's journal
Create a Dreamwidth Account
Learn More
Interest
Region
Site and Account
FAQ
Email
Reload page in style:
site
light
xacid
A New Implementation Technique for Applicative Languages
A New Implementation Technique for Applicative Languages
Dec
.
24th
,
2016
10:22 pm
xacid
https://pdfs.semanticscholar.org/d9b8/35194c7c98c85a66a73ab14917da3be1f2df.pdf
Flat
|
Top-Level Comments Only
no subject
Date:
2016-12-25 11:48 pm (UTC)
From:
nponeccop.livejournal.com
Там основная проблема в том, что SKI-термы получаются очень длинными
no subject
Date:
2016-12-25 11:50 pm (UTC)
From:
http://users.livejournal.com/_xacid_/
да там на самом деле много проблем разных есть еще ... но красиво! :)
2 comments
Reply
Flat
|
Top-Level Comments Only
Profile
xacid
Recent Entries
Archive
Reading
Tags
Memories
Profile
April
2021
S
M
T
W
T
F
S
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
Most Popular Tags
cat
-
10 uses
categories
-
17 uses
cats
-
2 uses
continuations
-
56 uses
coroutines
-
4 uses
dotty
-
8 uses
dsl
-
2 uses
effects
-
22 uses
fp
-
91 uses
fp java
-
3 uses
frp
-
2 uses
haskell
-
9 uses
java
-
30 uses
js
-
1 use
jvm
-
2 uses
kan
-
2 uses
logic
-
1 use
macos
-
1 use
monad
-
1 use
os
-
1 use
profunctors
-
1 use
pts
-
1 use
quants
-
1 use
rust
-
2 uses
scala
-
34 uses
scala haskell
-
2 uses
scala scalaz monads
-
1 use
scalaz
-
1 use
sk
-
1 use
ski
-
6 uses
stg
-
1 use
y
-
1 use
адвайта
-
1 use
акторы
-
1 use
бред
-
1 use
днр чечня
-
1 use
жесть политика
-
1 use
идиотизм
-
1 use
идиоты
-
1 use
импредикативность
-
1 use
лямбды
-
1 use
ненавижу
-
1 use
новости
-
2 uses
п-ц
-
2 uses
польша
-
1 use
рашизм
-
1 use
скала
-
1 use
типы
-
1 use
фаллоимитация
-
1 use
фьючеры
-
1 use
Page Summary
nponeccop.livejournal.com
-
(no subject)
Style Credit
Style:
Neutral Good
for
Practicality
by
timeasmymeasure
Expand Cut Tags
No cut tags
Page generated Jun. 21st, 2025 01:09 pm
Powered by
Dreamwidth Studios
no subject
Date: 2016-12-25 11:48 pm (UTC)no subject
Date: 2016-12-25 11:50 pm (UTC)