PLDB
Top 1,000
Features
Creators
Resources
Blog
Explorer
Download
GitHub icon
Proxy
<
>
edit
Proxy is a
programming language
created in
1992
.
#3102
on PLDB
32
Years Old
Proxy first developed in
EDL Software Design
Proxy on HOPL
Read more about Proxy on Semantic Scholar:
1.
py.html
路 proxy.html 路
proverif-lang.html
View source
PLDB
- Build the next great programming language
路
About
路
Acknowledgements
路
Extensions
路
Day 630
路
Donate
路
feedback@pldb.io